Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 63, Issue 4 (1998), 1286-1296.
Termination and Confluence in Infinitary Term Rewriting
The basic notions of the theory of term rewriting are defined for terms that may involve function letters of infinite arity. A sufficient condition for completeness is derived, and its use demonstrated by the example of abstract clones over infinitary signatures.
J. Symbolic Logic, Volume 63, Issue 4 (1998), 1286-1296.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Rodenburg, P. H. Termination and Confluence in Infinitary Term Rewriting. J. Symbolic Logic 63 (1998), no. 4, 1286--1296. https://projecteuclid.org/euclid.jsl/1183745632