马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山德拉·席尔瓦 组合语言等价的合理且完整的公理化。 (英语) Zbl 1353.68186号 ACM事务处理。计算。日志。 14,第1号,第7条,52页(2013年).MSC公司:70年第68季度 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人,ACM Trans。计算。日志。14,第1号,第7条,52页(2013;Zbl 1353.68186) 全文: 内政部 arXiv公司
多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃加尔米奇 非确定性阶段语义和布尔BI的不确定性。 (英语) Zbl 1343.03022号 ACM事务处理。计算。日志。 第14号第1条第6条第41页(2013年).MSC公司:03B47号 03B25号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche},ACM翻译。计算。日志。14,第1号,第6条,41页(2013;Zbl 1343.03022) 全文: 内政部 哈尔
理查德·麦金利 Herbrand定理的证明网。 (英语) Zbl 1354.03085号 ACM事务处理。计算。日志。 第14号第1条第5条第31页(2013年).MSC公司:03财年03 03B10号机组 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.McKinley},ACM翻译。计算。日志。14,第1号,第5条,第31页(2013;Zbl 1354.03085) 全文: 内政部 arXiv公司
马修·波德特;Cortier,Véronique公司;斯特凡尼德劳恩 YAPA:计算入侵者知识的通用工具。 (英语) Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页(2013年).MSC公司:68个M12 第68季度第42季度 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人,ACM Trans。计算。日志。14,第1号,第4条,32页(2013;Zbl 1353.68019) 全文: 内政部
陈小平;季建民;林方珍 最多使用一个外部支持规则计算循环。 (英语) Zbl 1353.68032号 ACM事务处理。计算。日志。 14,第1号,第3条,第34页(2013年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,ACM Trans。计算。日志。14,第1号,第3条,第34页(2013;Zbl 1353.68032) 全文: 内政部
马库斯·科洛奇;塞巴斯蒂安·鲁道夫;帕斯卡·希茨勒 霍恩描述逻辑的复杂性。 (英语) Zbl 1353.68268号 ACM事务处理。计算。日志。 14,第1号,第2条,36页(2013年).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Krötzsch}等人,ACM Trans。计算。日志。14,第1号,第2条,36页(2013;Zbl 1353.68268) 全文: 内政部
哈利奥夫·贝茨;托姆·吕维思 基于线性逻辑的带析取约束处理规则分析。 (英语) 兹比尔1353.68030 ACM事务处理。计算。日志。 14,第1号,第1条,37页(2013年).MSC公司:68N17号 03楼52 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Betz}和\textit{T.Frühwirth},ACM翻译。计算。日志。14,第1号,第1条,37页(2013;Zbl 1353.68030) 全文: 内政部 arXiv公司