Verified compilation in micro-Gypsy
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic verification of functions with accumulating parameters
Journal of Functional Programming
Improvements in Formula Generalization
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Trivializing the proof of trivial theorems
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
How to facilitate the proof of theories by using the induction matching, and by generalization
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Strategies for mechanizing structural induction
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A lemma driven automatic theorem prover for recursive function theory
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A theorem prover for elementary set theory
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Inducing function properties from computation traces
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A new structural induction scheme for proving properties of mutually recursive concepts
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A new structural induction scheme for proving properties of mutually recursive concepts
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Automation for Dependently Typed Functional Programming
Fundamenta Informaticae - Dependently Typed Programming
| Hi-index | 0.00 |