Article contents
Termination and confluence in infinitary term rewriting
Published online by Cambridge University Press: 12 March 2014
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1998
References
REFERENCES
- 1
- Cited by