尼科尔·施韦卡特 算术、一阶逻辑和计算量词。 (英语) Zbl 1407.03050号 ACM事务处理。计算。日志。 6,第3期,634-671(2005).MSC公司:07年3月 03C10号机组 03C80号 30楼03号 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Schweikardt},ACM事务。计算。日志。6,第3号,634--671(2005;Zbl 1407.03050) 全文: DOI程序
伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 整数和实数上线性算术的有效决策过程。 (英语) Zbl 1407.03052号 ACM事务处理。计算。日志。 第6期,第3期,614-633页(2005年).MSC公司:05年3月 30楼03号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Boigelot}等人,《美国医学杂志》。计算。日志。6,第3号,614--633(2005;Zbl 1407.03052) 全文: DOI程序 链接
乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 阿贝尔和Łukasiewicz逻辑的序贯和超序贯计算。 (英语) 兹比尔1407.03037 ACM事务处理。计算。日志。 6,第3号,578-613(2005).MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}等人,《美国医学杂志》。计算。日志。6,第3号,578--613(2005;Zbl 1407.03037) 全文: DOI程序 arXiv公司
马修·斯通 交叉点和模块化目标导向的证据搜索。 (英语) Zbl 1367.03047号 ACM事务处理。计算。日志。 6,第3期,539-577(2005).MSC公司:03B45号 03B35型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Stone},ACM翻译。计算。日志。6,第3号,539--577(2005;Zbl 1367.03047) 全文: DOI程序
法拉利,毛罗;佛罗伦萨,卡米洛;吉多·菲奥里诺 直觉逻辑和模态逻辑中析取性质的复杂性。 (英语) Zbl 1367.03019号 ACM事务处理。计算。日志。 6,第3期,519-538(2005).MSC公司:03B20型 03B45号 05年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}等人,ACM Trans。计算。日志。6,第3号,519--538(2005;Zbl 1367.03019) 全文: DOI程序 链接
阿夫拉蒂,福托;斯塔夫罗斯·科斯马达基斯;尤格尼·福斯托科斯 数据日志程序及其持久性编号。 (英语) Zbl 1367.68026号 ACM事务处理。计算。日志。 6,第3期,481-518(2005).MSC公司:第68页第17页 05C65号 68号30 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Afrati}等人,ACM Trans。计算。日志。6,第3号,481--518(2005;Zbl 1367.68026) 全文: DOI程序