Lectures in the theory of term rewriting, presented at the Logic Colloquium 1999 in Utrecht, the Netherlands, by Jan Willem Klop. Various aspects of term rewriting are covered: abstract reduction systems, orthogonal term rewriting systems,
infinitary term rewriting systems, lambda calculus and combinatory logic, higher order rewrite systems.
Details
- Publication Date
- Nov 2, 2011
- Language
- English
- Category
- Science & Medicine
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Jan Willem Klop
Specifications
- Format