Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
Set theory in first-order logic: clauses for Go¨del's axioms
Journal of Automated Reasoning
An introduction to mathematical logic and type theory: to truth through proof
An introduction to mathematical logic and type theory: to truth through proof
A Λ-unifiability test for set theory
Journal of Automated Reasoning
On connections and higher-order logic
Journal of Automated Reasoning
Presenting intuitive deductions via symmetric simplification
CADE-10 Proceedings of the tenth international conference on Automated deduction
The clausal theory of types
Automated deduction in von Neumann-Bernays-Go¨del set theory
Journal of Automated Reasoning
Journal of Automated Reasoning
F -match: an inference rule for incrementally elaborating set instantiations
Journal of Automated Reasoning
Handbook of logic in artificial intelligence and logic programming
On Go¨del's theorems on lengths of proofs I: number of lines and speedup for arithmetics
Journal of Symbolic Logic
Basic simple type theory
A Complete Mechanization of Second-Order Type Theory
Journal of the ACM (JACM)
Theorem Proving via General Matings
Journal of the ACM (JACM)
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics
TPHOLs '97 Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Proceedings of the 14th International Conference on Automated Deduction
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Set Theory, Higher Order Logic or Both?
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
On Sets, Types, Fixed Points, and Checkerboards
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Proceedings of the 7th International Conference on Automated Deduction
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
A Colored Version of the Lambda-Calculus
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Selectively Instantiating Definitions
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Extensional Higher-Order Resolution
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Transforming Matings into Natural Deduction Proofs
Proceedings of the 5th Conference on Automated Deduction
Omega: Towards a Mathematical Assistant
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
System Description: LEO - A Higher-Order Theorem Prover
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Higher-order unification and matching
Handbook of automated reasoning
Handbook of automated reasoning
Proof-assistants using dependent type systems
Handbook of automated reasoning
N-sorted logic for automatic theorem-proving in higher-order logic
ACM '72 Proceedings of the ACM annual conference - Volume 1
Constrained resolution: a complete method for higher-order logic.
Constrained resolution: a complete method for higher-order logic.
Mating search without path enumeration
Mating search without path enumeration
Higher-order unification and matching
Handbook of automated reasoning
Handbook of automated reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Proving theorems of type theory automatically with TPS
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Terminating Tableaux for the Basic Fragment of Simple Type Theory
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Decidability of bounded higher-order unification
Journal of Symbolic Computation
A structured set of higher-order problems
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
A tool for automated theorem proving in agda
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Reasoning in extensional type theory with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |