|
|
J. Avenhaus and K. Madlener (1990): Term Rewriting and Equational Reasoning
| Title: |
Term Rewriting and Equational Reasoning |
| Author(s): |
J. Avenhaus and K. Madlener |
| Year: |
1990 |
| Booktitle: |
Formal techniques in Artificial Intelligence -- A Sourcebook |
| Editor(s): |
R. B. Banerji |
| Number: |
6 |
| Pages: |
1-44 |
| Publisher: |
North--Holland |
| Address: |
Amsterdam |
Concepts
|
|
