Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
Constraints in computational logics
Formal Proofs About Rewriting Using ACL2
Annals of Mathematics and Artificial Intelligence
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
Completion for Multiple Reduction Orderings
Journal of Automated Reasoning
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing
Fatal steps of Knuth-Bendix completion
Nordic Journal of Computing
On the Confluence of Linear Shallow Term Rewrite Systems
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
On the Confluence of Linear Shallow Term Rewrite Systems
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Rewrite Closure for Ground and Cancellative AC Theories
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Normalization via Rewrite Closures
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Formalizing Rewriting in the ACL2 Theorem Prover
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Computer algebra handbook
Journal of Automated Reasoning
Parallelizing functional programs by generalization
Journal of Functional Programming
AI Communications - CASC
Structures for Abstract Rewriting
Journal of Automated Reasoning
On the Normalization and Unique Normalization Properties of Term Rewrite Systems
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Kleene revisited by Suschkewitsch
Acta Cybernetica
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
AC completion with termination tools
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Slothrop: Knuth-Bendix completion with a modern termination checker
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
| Hi-index | 0.00 |