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

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

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - The Complexity of Boundedness for Guarded Logics

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - The Complexity of Boundedness for Guarded Logics

Benedikt, Michael; Cate, Balder Ten; Colcombet, Thomas; Boom, Michael Vanden
  • 作者Benedikt, Michael; Cate, Balder Ten; Colcombet, Thomas; Boom, Michael Vanden
  • 文件大小298.14KB
  • 发表时间2015
  • DOI10.1109/lics.2015.36
  • 页码293-304
同标题推荐
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯