Termersetzungssysteme
Subtitle: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
By: Klaus Drosten
Series: Informatik-Fachberichte -- 210
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: ger
Number of pages: 152
Subjects: Rewriting systems (Computer science)
Notes: Revision of the author's thesis (doctoral)--TU Braunschweig, 1987.

Includes bibliographical references (p. [144]-150).