Annals of Mathematics and Artificial Intelligence
A General Method for Using Schematizations in Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science
Dei: A Theorem Prover for Terms with Integer Exponents
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
A Schemata Calculus for Propositional Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Simplified handling of iterated term schemata
Annals of Mathematics and Artificial Intelligence
I-terms in ordered resolution and superposition calculi: retrieving lost completeness
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
Second-order principles in specification languages for object-oriented programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Perfect discrimination graphs: indexing terms with integer exponents
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
A Comprehensive Setting for Matching and Unification over Iterative Terms
Fundamenta Informaticae
Tree Automata and Automated Model Building
Fundamenta Informaticae
| Hi-index | 0.00 |