Publisher
Springer Berlin Heidelberg
Reference61 articles.
1. Lect Notes Comput Sci;P. Andrews,1988
2. Peter B. Andrews. An Introduction to Logic and Type Theory: To Truth through Proof. Academic Press, New York, NY, 1986.
3. BCM+92._J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2):142–170, June 1992.
4. Christoph Benzmüuller and Michael Kohlhase. Extensional higher-order resolution. In H. Kirchner and C. Kirchner, editors, Proceedings of CADE-15, number 1421 in Lecture Notes in Artificial Intelligence, pages 56–71, Berlin, Germany, July 1998. Springer-Verlag.
5. Lect Notes Comput Sci;S. Bensalem,1998
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Connecting External Deduction Tools with ACL2;Scalable Techniques for Formal Verification;2010
2. Data Compression for Proof Replay;Journal of Automated Reasoning;2008-11
3. Providing a formal linkage between MDG and HOL;Formal Methods in System Design;2006-08-31
4. Little Engines of Proof;FME 2002:Formal Methods—Getting IT Right;2002
5. Combining Shostak Theories;Rewriting Techniques and Applications;2002