克劳斯·埃利格;詹·约翰森 二阶lambda演算的基本片段。 (英语) 兹比尔1367.03027 ACM事务处理。计算。日志。 6,第2期,468-480(2005).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}和\textit{J.Johannsen},ACM Trans。计算。日志。6,第2号,468--480(2005;Zbl 1367.03027) 全文: 内政部 arXiv公司
帕诺斯·朗多吉安尼;威廉·沃奇(William W.Wadge)。 带否定即失败逻辑程序的最小模型语义。 (英语) Zbl 1367.68038号 ACM事务处理。计算。日志。 6,第2期,441-467(2005).MSC公司:68N17号 03B50号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Rondogiannis}和\textit{W.W.Wadge},ACM翻译。计算。日志。6,第2号,441--467(2005;Zbl 1367.68038) 全文: 内政部 arXiv公司
托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 关于演化非单调知识库的推理。 (英语) Zbl 1367.68279号 ACM事务处理。计算。日志。 6,第2期,389-440(2005).MSC公司:68T27型 68N17号 65年第68季度 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《美国医学杂志》。计算。日志。6,第2号,389--440(2005;Zbl 1367.68279) 全文: 内政部
康斯坦丁·科洛文;安德烈·沃伦科夫 Knuth-Bendix约束求解是NP-完成的。 (英语) Zbl 1367.68104号 ACM事务处理。计算。日志。 6,第2期,361-388(2005).MSC公司:2017年第68季度 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Korovin}和\textit{A.Voronkov},ACM翻译。计算。日志。6,第2号,361--388(2005;Zbl 1367.68104) 全文: 内政部
科恩,萨拉;叶霍舒亚·萨吉夫;维尔纳纳特 带否定的聚合查询之间的等价性。 (英语) Zbl 1367.68085号 ACM事务处理。计算。日志。 6,第2期,328-360(2005).MSC公司:第68页,共15页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cohen}等人,ACM Trans。计算。日志。6,第2号,328--360(2005;Zbl 1367.68085) 全文: 内政部 arXiv公司
王克文;周丽珠 析取逻辑程序基础良好的语义的比较和计算。 (英语) Zbl 1367.68042号 ACM事务处理。计算。日志。 6,第2期,295-327(2005).MSC公司:68N17号 68问题55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Wang}和\textit{L.Zhou},ACM Trans。计算。日志。6,第2号,295--327(2005;Zbl 1367.68042) 全文: 内政部 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。 从线性时间到分支时间。 (英语) 兹比尔1367.68195 ACM事务处理。计算。日志。 6,第2期,273-294(2005).MSC公司:60年第68季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},ACM Trans。计算。日志。6,第2号,273--294(2005;Zbl 1367.68195) 全文: 内政部
马可·卡多利;托马斯·艾特;乔治·戈特洛布 命题嵌套限制和嵌套异常理论的复杂性。 (英语) Zbl 1367.68276号 ACM事务处理。计算。日志。 6,第2期,232-272(2005).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoli}等人,ACM Trans。计算。日志。6,第2号,232--272(2005;Zbl 1367.68276) 全文: 内政部
恰基萨卡马 非单调逻辑程序中答案集的归纳。 (英语) Zbl 1367.68039号 ACM事务处理。计算。日志。 6,第2期,203-231(2005).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama},ACM翻译。计算。日志。6,第2号,203--231(2005;Zbl 1367.68039) 全文: 内政部