Term Rewriting Systems

Term Rewriting Systems

Einband:
Fester Einband
EAN:
9780521391153
Untertitel:
Englisch
Genre:
Informatik
Autor:
Jan Willem Klop, Roel de Vrijer, Terese
Herausgeber:
Cambridge University Press
Anzahl Seiten:
908
Erscheinungsdatum:
10.08.2011
ISBN:
0521391156

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.

Inhalt
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.


billigbuch.ch sucht jetzt für Sie die besten Angebote ...


Die aktuellen Verkaufspreise von 6 Onlineshops werden in Realtime abgefragt.

Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.


Feedback