Joost Vennekens;戴维·吉利斯;马克·德内克 勘误:“拆分运算符:具有不动点语义的逻辑的代数模块化结果”。 (英语) Zbl 1367.68296号 ACM事务处理。计算。日志。 8,第1号,第7条,第3页(2007年).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vennekens}等人,《美国医学杂志》。计算。日志。8,第1号,第7条,第3页(2007年;兹bl 1367.68296) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);纳鸿·德肖维茨 抽象规范推理。 (英语) Zbl 1367.03023号 ACM事务处理。计算。日志。 8,第1号,第6条,28页(2007年).MSC公司:03B35型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{N.Dershowitz},ACM Trans。计算。日志。8,第1号,第6条,28页(2007年;Zbl 1367.03023) 全文: 内政部 arXiv公司
格雷塔·约什;代表,托马斯;穆利·萨吉夫;莱因哈德·威廉 堆抽象的逻辑特征。 (英语) Zbl 1367.68078号 ACM事务处理。计算。日志。 8,第1号,第5条,27页(2007年).MSC公司:68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人,《美国医学杂志》。计算。日志。8,第1号,第5条,27页(2007年;Zbl 1367.68078) 全文: 内政部 arXiv公司
亚历山大·拉比诺维奇 论组合性及其局限性。 (英语) Zbl 1367.68202号 ACM事务处理。计算。日志。 8,第1号,第4条,第26页(2007年).MSC公司:60年第68季度 03B45号 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},ACM翻译。计算。日志。8,第1号,第4条,第26页(2007年;Zbl 1367.68202) 全文: 内政部
安娜贝拉·麦克维尔;卡罗尔·摩根 关于定量演算的结果。 (英语) Zbl 1367.68199号 ACM事务处理。计算。日志。 8,第1号,第3条,43页(2007年).MSC公司:60年第68季度 03B70号 68问题55 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}和\textit{C.Morgan},ACM翻译。计算。日志。8,第1号,第3条,43页(2007年;Zbl 1367.68199) 全文: 内政部
保罗·利伯拉托雷;马尔科·谢尔夫 命题溯因的可编译性。 (英语) Zbl 1367.68286号 ACM事务处理。计算。日志。 8,第1号,第2条,第19页(2007年).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Liberatore}和\textit{M.Schaerf},ACM Trans。计算。日志。8,第1号,第2条,第19页(2007年;Zbl 1367.68286) 全文: 内政部
阿莱西奥·古列尔米 相互作用和结构的系统。 (英语) Zbl 1367.03110号 ACM事务处理。计算。日志。 8,第1号,第1条,64页(2007年).MSC公司:03楼52 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Guglielmi},ACM翻译。计算。日志。8,第1号,第1条,64页(2007年;Zbl 1367.03110) 全文: 内政部 arXiv公司