Using Decision Procedures with a Higher-Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Partial Functions in an Impredicative Simple Theory of Types
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Herbrand Award Acceptance Speech
Journal of Automated Reasoning
Automated deduction for verification
ACM Computing Surveys (CSUR)
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |