×
马丁·阿巴迪;佐哈尔·曼纳

一阶时序逻辑中的非子句演绎。 （英语） Zbl 0696.68096号

J.协会计算。机器。 37，No.2，279-317（1990）.

引用于12文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
03B35型 证明和逻辑操作的机械化
03B70型 计算机科学中的逻辑

关键词：

自动演绎;并发程序验证;非条款决议;一阶时序逻辑
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}和\textit{Z.Manna}，J.协会计算。机器。37，第2号，279--317（1990年；Zbl 0696.68096）
全文： DOI程序