Theorem-proving with resolution and superposition
Journal of Symbolic Computation
On word problems in horn theories
Journal of Symbolic Computation
Journal of the ACM (JACM)
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence
Deciding the confluence of ordered term rewrite systems
ACM Transactions on Computational Logic (TOCL)
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing
Fatal steps of Knuth-Bendix completion
Nordic Journal of Computing
Requirement-Based Cooperative Theorem Proving
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Combining Pattern E-Unification Algorithms
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
A rewriting approach to satisfiability procedures
Information and Computation - RTA 2001
AI Communications - CASC
Structures for Abstract Rewriting
Journal of Automated Reasoning
Hierarchical combination of intruder theories
Information and Computation
Diagrammatic Confluence and Completion
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Ordering-based strategies for horn clauses
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
Theoretical Computer Science
A taxonomy of theorem-proving strategies
Artificial intelligence today
On theorem proving for program checking: historical perspective and recent developments
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Reflecting proofs in first-order logic with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Hierarchical combination of intruder theories
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Automating Algebraic Proofs in Algebraic Logic
Fundamenta Informaticae
From diagrammatic confluence to modularity
Theoretical Computer Science
| Hi-index | 0.00 |