Jan Willem Klop, Roel de Vrijer, Terese

Term Rewriting Systems

• Gebundenes Buch

Produktbeschreibung

Comprehensive introduction to term rewriting for researchers. Features exercises, solutions and applications.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 908
• Erscheinungstermin: 10. August 2011
• Englisch
• Abmessung: 286mm x 221mm x 53mm
• Gewicht: 2497g
• ISBN-13: 9780521391153
• ISBN-10: 0521391156
• Artikelnr.: 22416459

Inhaltsangabe

1. Abstract reduction systems
2. First-order term rewriting systems
3. Examples of TRSs and special rewriting formats
4. Orthogonality
5. Properties of rewriting: decidability and modularity
6. Termination
7. Completion of equational specifications
8. Equivalence of reductions
9. Strategies
10. Lambda calculus
11. Higher order rewriting
12. Infinitary rewriting
13. Term graph rewriting
14. Advanced ARS theory
15. Rewriting based languages and systems
16. Mathematical background.