Dieses Lehrbuch bietet eine einheitliche und in sich geschlossene Einführung in das Gebiet der Begriffsumschreibung. Es deckt das gesamte grundlegende Material ab (abstrakte Reduktionssysteme, Terminierung, Konfluenz, Vervollständigungs- und Kombinationsprobleme), aber auch einige wichtige und eng miteinander verbundene Themen: universelle Algebra, Vereinheitlichungstheorie, GrÃbner-Basen und Buchbergers Algorithmus. Die wichtigsten Algorithmen werden sowohl informell als auch als Programme in der funktionalen Sprache Standard ML vorgestellt (ein Anhang enthält eine schnelle und einfache Einführung in ML). Bestimmte wichtige Algorithmen wie Vereinheitlichung und Kongruenzschließung werden ausführlicher behandelt und Pascal-Programme entwickelt. Das Buch enthält viele Beispiele und über 170 Übungen. Dieser Text ist auch ein ideales Nachschlagewerk für professionelle Forscher: Ergebnisse, die über viele Konferenz- und Zeitschriftenartikel verteilt wurden, werden in einer einheitlichen Notation zusammengefasst, Beweise für fast alle Theoreme werden bereitgestellt und jedes Kapitel schließt mit einem Leitfaden zur Literatur. Sprache: Englisch