@ARTICLE{KorovinVoronkov:TOCL:2004,
AUTHOR = {Korovin, Konstantin and Voronkov, Andrei},
TITLE = {{Knuth-Bendix} constraint solving is {NP-complete}},
JOURNAL = {ACM Transactions on Computational Logic},
PUBLISHER = {ACM},
YEAR = {2005},
NUMBER = {2},
VOLUME = {6},
PAGES = {361--388},
}
Entry last modified by Christine Kiesel, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Konstantin Korovin | Created
01/23/2004 12:30:18 PM |
Revisions
8.
7.
6.
5.
4. | Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Uwe Waldmann
Uwe Waldmann | Edit Dates
13.06.2006 15:12:46
13.06.2006 15:10:25
13.06.2006 15:09:11
03/23/2005 10:13:04 PM
02.02.2005 14:13:51 |