On the termination of the Knuth-Bendix completion algorithm
J. Avenhaus
| Year of publication: |
1984
|
|---|---|
| Authors: | Avenhaus, Jürgen |
| Publisher: |
Kaiserslautern |
| Subject: | Knuth-Bendix-Vervollständigungsprozedur |
| Extent: | circa 40 S. in getr. Zählung |
|---|---|
| Series: | Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik. - Kaiserslautern. - Vol. 120 |
| Type of publication: | Book / Working Paper |
| Source: |
Persistent link: https://www.econbiz.de/10004043462