孔蒂宁,朱哈 计数层次结构的逻辑特征。 (英语) Zbl 1367.68106号 ACM事务处理。计算。日志。 第10号第1条第7条第21页(2009年).MSC公司:19年第68季度 03C13号机组 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen},ACM翻译。计算。日志。10,第1号,第7条,21页(2009年;Zbl 1367.68106) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;巴斯·卢提克 具有左合并和通信合并的CCS有限方程组。 (英语) Zbl 1367.68207号 ACM事务处理。计算。日志。 10,第1号,第6条,第26页(2009年).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。10,第1号,第6条,第26页(2009年;Zbl 1367.68207) 全文: 内政部
卢卡·艾奇;托马斯·卢卡西维奇;丹尼尔·纳尔迪;里卡多·罗萨蒂 推理定性和概率不确定性下的感知行为。 (英语) 兹比尔1367.68281 ACM事务处理。计算。日志。 10,第1号,第5条,41页(2009年).MSC公司:68T27型 68T20型 68立方英尺 68层37 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Iocchi}等人,ACM Trans。计算。日志。10,第1号,第5条,41页(2009年;Zbl 1367.68281) 全文: 内政部
亚历山德罗·阿曼多;玛丽亚·保拉(Maria Paola Bonacina);西尔维奥·兰伊斯;斯蒂芬·舒尔茨 基于重写的可满足性过程的新结果。 (英语) Zbl 1367.68243号 ACM事务处理。计算。日志。 10,第1号,第4条,51页(2009年).MSC公司:68吨15 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,ACM Trans。计算。日志。10,第1号,第4条,51页(2009年;Zbl 1367.68243) 全文: 内政部 arXiv公司
约克-史密斯,尼尔;卡门·葛尔维 确定性闭包:具有不完整或错误数据的可靠约束推理。 (英语) Zbl 1367.68272号 ACM事务处理。计算。日志。 10,第1号,第3条,41页(2009年).MSC公司:68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{N.Yorke Smith}和\textit{C.Gervet},ACM Trans。计算。日志。10,第1号,第3条,41页(2009年;Zbl 1367.68272) 全文: 内政部
卢·范登·德里斯;Moschovakis,Yiannis N。 算术复杂性。 (英语) Zbl 1367.68116号 ACM事务处理。计算。日志。 10,第1号,第2条,49页(2009年).MSC公司:65年第68季度 2016年11月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.van den Dries}和\textit{Y.N.Moschovakis},ACM Trans。计算。日志。10,第1号,第2条,49页(2009年;Zbl 1367.68116) 全文: 内政部
亚历山大·阿提基斯;马雷克·塞尔戈特;杰里米·皮特 指定规范控制的计算社会。 (英语) Zbl 1367.68320号 ACM事务处理。计算。日志。 10,第1号,第1条,42页(2009年).MSC公司:68T42型 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}等人,ACM Trans。计算。日志。10,第1号,第1条,第42页(2009年;Zbl 1367.68320) 全文: 内政部