伊恩·斯图尔特(Iain A.Stewart)。 比较使用NP-完成运算符形成的语言的表达能力。 (英语) Zbl 0732.03032号 J.日志。计算。 1,第3号,305-330(1991). 审核人:C.Meinel(柏林) MSC公司:2015年3月1日 2015年第68季度 05C15号 68兰特 65年第68季度 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart},J.Log。计算。1,第3号,305-330(1991;Zbl 0732.03032) 全文: 内政部
J.菲亚德罗。;T·迈鲍姆。 道义规范的时间推理。 (英语) Zbl 0731.03022号 J.日志。计算。 第1期,第3期,357-395(1991年). 审核人:E.Melis(萨尔布吕肯) MSC公司:03B80号 68T27型 03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{T.Maibaum},J.Log。计算。1,第3号,357--395(1991;Zbl 0731.03022) 全文: 内政部
菲利普·巴尔比亚尼 模态逻辑和否定作为失败。 (英语) Zbl 0731.03010号 J.日志。计算。 1,第3期,331-356(1991). 审核人:E.Melis(萨尔布吕肯) MSC公司:03B35型 03B45号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani},J.Log。计算。1,编号3,331-356(1991年;Zbl 0731.03010) 全文: 内政部
斯特芬·Hölldobler 结合逻辑编程和方程求解。 (英语) Zbl 0726.68015号 J.日志。计算。 1,第3期,397-415(1991年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hölldobler},J.Log。计算。1,第3号,397--415(1991;Zbl 0726.68015) 全文: 内政部