Canonical conditional rewrite systems
- 9 June 2005
- conference paper
- Published by Springer Nature
- p. 538-549
- https://doi.org/10.1007/bfb0012855
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Proof-theoretic techniques for term rewriting theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A logical analysis on theory of conditional rewritingLecture Notes in Computer Science, 1988
- Simplifying conditional term rewriting systems : Unification, termination and confluenceJournal of Symbolic Computation, 1987
- On the theory of quasi-ordinal diagramsContemporary Mathematics, 1987
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982