Undecidability of PDL with L = {a2i |; i ⩾ 0}
本文档由 Thesis_Database 分享于2012-06-28 19:24
Journal of Computer and System SciencesVolume 29, Issue 3, December 1984, Pages 359–365
君,已阅读到文档的结尾了呢~~
本文档由 Thesis_Database 分享于2012-06-28 19:24
君,已阅读到文档的结尾了呢~~
手机或平板扫扫即可继续访问
推荐豆丁书房APP 扫扫更高清