×
安纳托利·德吉亚列夫;迈克尔·费希尔;鲍里斯·科涅夫

单声道时间分辨率。 （英语） Zbl 1367.03035号

ACM事务处理。计算。日志。 7，第1期，108-150（2006）.

引用于14文件

MSC公司：

03B44号 时间逻辑
03B35型 证明和逻辑操作的机械化

关键词：

时序逻辑;自动定理证明;分辨率

引文：

Zbl 0999.03015号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Degtyarev｝等人，ACM Trans。计算。日志。7，第1号，108--150（2006；Zbl 1367.03035）
全文： 内政部 arXiv公司