B. Fronhöfer and U. Furbach (1986): Knuth--Bendix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis


Title: Knuth--Bendix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis
Author(s): B. Fronhöfer and U. Furbach
Year: 1986
Booktitle: German Workshop on Artificial Intelligence GWAI--86 und 2.\ Österreichische AI--Tagung
Editor(s): Claus--Rainer Rollinger and Werner Horn
Number: 124
Pages: 289-300
Publisher: Springer
Address: Berlin u.a.

Concepts