杰里米·阿维加德 消除一阶逻辑中的定义和Skolem函数。 (英语) 兹伯利1365.03038 ACM事务处理。计算。日志。 第4期,第3期,第402-415页(2003年).MSC公司:20层03 03B10号机组 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},ACM事务。计算。日志。4,第3号,402--415(2003;Zbl 1365.03038) 全文: 内政部 链接
安东尼奥·萨利布拉 lambda演算的拓扑不完全性和序不完全性。 (英语) Zbl 1407.03014号 ACM事务处理。计算。日志。 4,第3期,379-401(2003).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Salibra},ACM翻译。计算。日志。4,第3号,379--401(2003;Zbl 1407.03014) 全文: 内政部 链接
德克斯特·科赞;Jerzy Tiuryn 子结构逻辑和部分正确性。 (英语) Zbl 1365.68327号 ACM事务处理。计算。日志。 4,第3期,355-378(2003).MSC公司:60年第68季度 03B47号 03B70号 2007年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}和\textit{J.Tiuryn},ACM Trans。计算。日志。4,第3号,355--378(2003;Zbl 1365.68327) 全文: 内政部
诺加·阿龙;托娃·米洛;法兰克·奈文;丹·苏秋;维克托·维亚努 对关系数据库的XML视图进行类型检查。 (英语) Zbl 1365.68193号 ACM事务处理。计算。日志。 4,第3期,315-354(2003).MSC公司:第68页,共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Alon}等人,《美国医学杂志》。计算。日志。4,编号3,315-354(2003年;兹bl 1365.68193) 全文: 内政部 链接
迈卡·阿德勒;尼尔·伊梅尔曼 公式大小的\(n!\)下限。 (英语) Zbl 1365.68270号 ACM事务处理。计算。日志。 4,第3期,296-314(2003).MSC公司:19年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Adler}和\textit{N.Immerman},ACM Trans。计算。日志。4,第3号,296--314(2003;Zbl 1365.68270) 全文: 内政部
埃里希·格拉德尔(编辑);约瑟夫·霍尔珀(Joseph Y.Halpern)。(编辑);拉德哈·贾加迪桑(编辑);阿道夫·皮佩尔诺(编辑) LICS 2001特别版。 (英语) Zbl 1365.00062号 ACM事务处理。计算。日志。 4,第3号,295(2003).MSC公司:00B25型 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}(编辑)等,《美国医学杂志》。计算。日志。4,第3号,295(2003;Zbl 1365.00062) 全文: 内政部