马可·萨梅尔;赫尔穆特·维思 关于LTL规范的分布性。 (英语) Zbl 1352.68162号 ACM事务处理。计算。日志。 11,第3号,第20条,第26页(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{H.Veith},ACM翻译。计算。日志。11,第3号,第20条,第26页(2010年;Zbl 1352.68162) 全文: 内政部
伊莱·本·萨森;巴拉德·哈沙 通过Pudlák-Buss游戏实现有界深度Frege证明的下限。 (英语) 兹比尔1352.03065 ACM事务处理。计算。日志。 11,第3号,第19条,第17页(2010年).MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben-Sasson}和\textit{P.Harsha},ACM Trans。计算。日志。11,第3号,第19条,第17页(2010年;Zbl 1352.03065) 全文: 内政部
纳鸿·德肖维茨;伊多·扎梅雷特 承诺下命题证明的复杂性。 (英语) Zbl 1351.03057号 ACM事务处理。计算。日志。 11,第3条,第18条,第30页(2010年).MSC公司:20层03 03B05号 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{I.Tzameret},ACM Trans。计算。日志。11,第3号,第18条,30页(2010年;Zbl 1351.03057) 全文: 内政部 arXiv公司
德特勒夫·卡勒;拉尔夫·库斯特斯;托马斯·威尔克 确定合同设计协议的策略属性。 (英语) Zbl 1351.94053号 ACM事务处理。计算。日志。 11,第3号,第17条,第42页(2010年).MSC公司:94A60型 91A80型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kähler}等人,《美国医学杂志》。计算。日志。11,第3号,第17条,第42页(2010年;Zbl 1351.94053) 全文: 内政部
Kedar S.Namjoshi。;理查德·特雷弗(Richard J.Trefler)。 关于组合推理方法的完备性。 (英语) Zbl 1351.68184号 ACM事务处理。计算。日志。 11,第3号,第16条,22页(2010年).MSC公司:68问题85 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.J.Trefler},ACM Trans。计算。日志。11,第3号,第16条,22页(2010年;Zbl 1351.68184) 全文: 内政部
曼纽尔·博迪尔斯基;简·卡拉 时间推理的快速算法和数据日志不可表达性。 (英语) Zbl 1351.68051号 ACM事务处理。计算。日志。 11,第3号,第15条,第21页(2010年).MSC公司:68N17号 65年第68季度 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{J.Kára},ACM Trans。计算。日志。11,第3号,第15条,21页(2010年;Zbl 1351.68051) 全文: 内政部 arXiv公司