A path ordering for proving termination of term rewriting systems
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Artificial Intelligence
On word problems in equational theories
14th International Colloquium on Automata, languages and programming
Journal of Symbolic Computation
Simulation of turing machines by a left-linear rewrite rule
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
On ground-confluence of term rewriting systems
Information and Computation
On the recursive decomposition ordering with lexicographical status and other related orderings
Journal of Automated Reasoning
Ordered rewriting and confluence
CADE-10 Proceedings of the tenth international conference on Automated deduction
Complete sets of reductions with constraints
CADE-10 Proceedings of the tenth international conference on Automated deduction
Simple LPO constraint solving methods
Information Processing Letters
Equational inference, canonical proofs, and proof orderings
Journal of the ACM (JACM)
Theorem proving with ordering and equality constrained clauses
Journal of Symbolic Computation
The first-order theory of lexicographic path orderings is undecidable
Theoretical Computer Science
Proving termination with multiset orderings
Communications of the ACM
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Saturation of First-Order (Constrained) Clauses with the Saturate System
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Computation: finite and infinite machines
Computation: finite and infinite machines
Confluence of right ground term rewriting systems is decidable
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |
replace me