布鲁斯科利,保拉;阿莱西奥·古列尔米 关于深度推理的证明复杂性。 (英语) Zbl 1351.03056号 ACM事务处理。计算。日志。 10,第2号,第14条,第34页(2009年).MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{P.Bruscoli}和\textit{A.Guglielmi},ACM Trans。计算。日志。10,第2号,第14条,第34页(2009年;Zbl 1351.03056) 全文: 内政部 arXiv公司 链接
卢茨·施罗德;德克·帕丁森 等级-1模态逻辑的PSPACE界限。 (英语) Zbl 1351.03015号 ACM事务处理。计算。日志。 第10号第2条第13条第33页(2009年).MSC公司:03B45号 03G30型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{D.Pattinson},美国医学会翻译。计算。日志。10,第2号,第13条,33页(2009年;Zbl 1351.03015) 全文: 内政部 arXiv公司
斯特凡诺游击队;安德里亚·马西尼 校对、测试和延续传球风格。 (英语) Zbl 1351.68058号 ACM事务处理。计算。日志。 10,第2号,第12条,第34页(2009年).MSC公司:68甲18 03B20型 03B40型 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.游击队}和\textit{A.马西尼},ACM Trans。计算。日志。10,第2号,第12条,第34页(2009年;兹bl 1351.68058) 全文: 内政部
毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) CHR的组合语义。 (英语) Zbl 1351.68050号 ACM事务处理。计算。日志。 第10号第2条第11条第36页(2009年).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}和\textit{M.C.Meo},ACM翻译。计算。日志。10,第2号,第11条,36页(2009年;Zbl 1351.68050) 全文: 内政部 arXiv公司
伊莎贝·格尼迪格;赫莱内·基什内尔 根据策略终止重写。 (英语) Zbl 1351.68129号 ACM事务处理。计算。日志。 10,第2号,第10条,52页(2009年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Gneedig}和\textit{H.Kirchner},ACM Trans。计算。日志。10,第2号,第10条,52页(2009年;Zbl 1351.68129) 全文: 内政部 链接
拉诺特、拉格罗;西蒙·蒂尼 作为同余的概率互模拟。 (英语) Zbl 1351.68183号 ACM事务处理。计算。日志。 10,第2号,第9条,48页(2009年).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{S.Tini},ACM翻译。计算。日志。10,第2号,第9条,48页(2009年;Zbl 1351.68183) 全文: 内政部
乌戈·达尔拉戈 线性高阶递归的几何。 (英语) Zbl 1351.03060号 ACM事务处理。计算。日志。 第10号第2条第8条第38页(2009年).MSC公司:03楼52 03B40型 2015年3月1日 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago},ACM翻译。计算。日志。10,第2号,第8条,第38页(2009年;Zbl 1351.03060) 全文: 内政部 arXiv公司