Ten Topics in Term Rewriting v2
This ebook may not meet accessibility standards and may not be fully compatible with assistive technologies.
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