Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference14 articles.
1. BoyerR. S. and MooreJ S., A Computational Logic Handbook, Academic Press, Boston (1988).
2. Goldschlag David M., ?Mechanically verifying concurrent programs with the Boyer-Moore prover?, IEEE Transactions on Software Engineering, SE-16(9) (September 1990).
3. Goldschlag, David M., ?Proving proof rules: A proof system for concurrent programs?, Compass '90 (June 1990).
4. Goldschlag, David M., ?Mechanizing Unity?, in: Proceedings of the IFIP TC2 Working Conference on Programming Concepts and Methods, M. Broy and C. B. Jones (Eds.), Elsevier Science Publishers B.V. (1990).
5. Yu Yuan, ?Computer proofs in group theory?, J. Automated Reasoning, 6(3) (September 1990).
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Milestones from the Pure Lisp theorem prover to ACL2;Formal Aspects of Computing;2019-12
2. Predicting Failures of and Repairing Inductive Proof Attempts;Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems;2007
3. Strategic Issues, Problems and Challenges in Inductive Theorem Proving;Electronic Notes in Theoretical Computer Science;2005-03
4. A mechanization of unity in PC-NQTHM-92;Journal of Automated Reasoning;1999
5. Nonconstructive computational mathematics;Journal of Automated Reasoning;1998