尤格尼·福斯托科斯;伊雷纳游击队 Inf-数据、模态逻辑和复杂性。 (英语) Zbl 1170.68015号 西奥。通知。申请。 43,第1期,1-21页(2009年).MSC公司:第68页,共15页 68N17号 19年第68季度 第68季度第60季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Foustoucos}和\textit{I.Guessarian},Theor。通知。申请。43,编号1,1--21(2009;Zbl 1170.68015) 全文: 内政部 欧洲DML 链接
马丁·兰格 关于使用Chop检查模型不动点逻辑复杂性的三点说明。 (英语) Zbl 1133.68046号 西奥。通知。申请。 41,第2期,177-190(2007). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:第68季度第60季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Lange},Theor。通知。申请。41,第2号,177--190(2007;Zbl 1133.68046) 全文: 内政部 Numdam编号 欧洲DML 链接
古罗夫,帝力;布鲁斯·卡普伦 关于最小定点公式的负标记的注释。 (英语) Zbl 0940.03034号 西奥。通知。申请。 33,编号4-5,383-392(1999).MSC公司:03B70号 第68季度第60季度 2007年3月 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gurov}和\textit{B.Kapron},Theor。通知。申请。33,编号4--5,383--392(1999;Zbl 0940.03034) 全文: 内政部 Numdam编号 欧洲DML
J.M.达沃伦。 拓扑、连续性和互模拟。 (英语) Zbl 0940.03021号 西奥。通知。申请。 33,No.4-5,357-381(1999).MSC公司:03B44号 93C99号 54C60个 03B80号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.M.Davoren},Theor。通知。申请。33,编号4--5,357--381(1999;Zbl 0940.03021) 全文: 内政部 欧洲DML 链接