|
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
|
|