Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus
By: Christoph Brzoska.
Series: Forschungsberichte des Fachbereichs Informatik ;; Bericht 1988-12
Publisher: Technische Universität Berlin
Published: 1988
Place of publication: Berlin
Language: ger
Number of pages: 65
Subjects: Rewriting systems (Computer science); Computer algorithms.
Other titles: Knuth-Bendix-Vervollständigungsalgorithmus.
Notes: Includes bibliographical references (leaves 61-65).
"Diese Diplomarbeit entstand im Rahmen der Forschungsaktivitäten der FUNLOG-Gruppe an der TU-Berlin"--P. i.