发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - MSO+∇ is undecidable

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - MSO+∇ is undecidable

Bojanczyk, Mikolaj; Kelmendi, Edon; Skrzypczak, Michal

作者Bojanczyk, Mikolaj; Kelmendi, Edon; Skrzypczak, Michal
文件大小52.44KB
发表时间2019
DOI10.1109/LICS.2019.8785892
页码1-13

← 返回【学霸图书馆】主页