Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
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
The first order theory of primal grammars is decidable
Theoretical Computer Science
Dei: A Theorem Prover for Terms with Integer Exponents
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
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
Infinite families of finite string rewriting systems and their confluence
LPAR'10 Proceedings of the 17th 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 |