TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Merging Procedural and Declarative Proof
Types for Proofs and Programs
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs
Electronic Notes in Theoretical Computer Science (ENTCS)
A tactic language for the system Coq
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Improving the usability of HOL through controlled automation tactics
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Recent developments in mega's proof search programming language
ACM Communications in Computer Algebra
A Certified Proof of the Cartan Fixed Point Theorems
Journal of Automated Reasoning
Floating-Point verification using theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
A tactic language for declarative proofs
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |