Term Rewriting and All That
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Grobner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed.…
Mehr
CHF 61.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-1-316-04385-1
- EAN: 9781316043851
- Produktnummer: 17042994
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 1999
- Seitenangabe: 0 S.
- Plattform: PDF
- Masse: 28'218 KB
28 weitere Werke von Franz Baader:
Bewertungen
Anmelden