Tobias Nipkow: Term Rewriting and All That

Cover: 9780521779203 | Term Rewriting and All That | Tobias Nipkow (u. a.) | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

64,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Inhaltsverzeichnis

Preface; 1. Motivating examples; 2. Abstract reduction systems; 3. Universal algebra; 4. Equational problems; 5. Termination; 6. Confluence; 7. Completion; 8. Gröbner bases and Buchberger's algorithm; 9. Combination problems; 10. Equational unification; 11. Extensions; Appendix 1. Ordered sets; Appendix 2. A bluffer's guide to ML; Bibliography; Index.

Details

Erscheinungsjahr:	2006
Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521779203
ISBN-10:	0521779200
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Nipkow, Tobias Baader, Franz Franz, Baader
Hersteller:	Cambridge University Press
Maße:	244 x 170 x 18 mm
Von/Mit:	Tobias Nipkow (u. a.)
Erscheinungsdatum:	31.07.2006
Gewicht:	0,548 kg

Artikel-ID: 106577942

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2006
Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521779203
ISBN-10:	0521779200
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Nipkow, Tobias Baader, Franz Franz, Baader
Hersteller:	Cambridge University Press
Maße:	244 x 170 x 18 mm
Von/Mit:	Tobias Nipkow (u. a.)
Erscheinungsdatum:	31.07.2006
Gewicht:	0,548 kg