Term Rewriting Systems

Klappentext Comprehensive introduction to term rewriting for researchers. Features exercises! solutions and applications. Zusammenfassung A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research! it features numerous exercises with selected solutions on the web! an extensive bibliography and a chapter on applications. Inhaltsverzeichnis 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.

Dettagli sul prodotto

• Autori: Roel de Vrijer, Jan Willem Klop, Terese
• Editore: Cambridge University Press Academic
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 20.03.2003
• EAN: 9780521391153
• ISBN: 978-0-521-39115-3
• Dimensioni: 158 mm x 230 mm x 45 mm
• Serie: Cambridge Tracts in Theoretica
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica