托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 关于演化非单调知识库的推理。 (英语) 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) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 从线性时间到分支时间。 (英语) Zbl 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.68194号 ACM事务处理。计算。日志。 6,第1期,175-201(2005).MSC公司:60年第68季度 03B44号 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},ACM翻译。计算。日志。6,第1号,175--201(2005;Zbl 1367.68194) 全文: 内政部 arXiv公司