斯特凡·德姆里;迪帕克·D’Souza 一种用于约束LTL的自动机理论方法。 (英语) Zbl 1113.03015号 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D'Souza},Inf.Comput。205,第3号,380--415(2007;Zbl 1113.03015) 全文: 内政部 哈尔
尼科尔·施韦卡特 用Ehrenfeucht-Fraíssé博弈方法来解决数据库理论中的崩溃问题。 (英语) 兹比尔1110.68035 Inf.计算。 205,第3期,311-379(2007).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Schweikardt},Inf.计算。205,第3号,311--379(2007;Zbl 1110.68035) 全文: 内政部 arXiv公司
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利 图形逻辑的表达性和复杂性。 (英语) Zbl 1114.03028号 Inf.计算。 205,第3号,263-310(2007年).MSC公司:03B70号 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人,《信息计算》。205,编号3,263-310(2007年;兹bl 1114.03028) 全文: 内政部 链接