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