Franz Winkler, Bruno Buchberger,
"A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm"
, in J. Demetrovics, G. Katona, A. Salomaa: Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science, Nummer II, J. Bolyai Math. Soc. and North-Holland, Seite(n) 849-869, 1986
Original Titel:
A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm
Sprache des Titels:
Englisch
Original Buchtitel:
Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science
Veröffentlicher:
J. Bolyai Math. Soc. and North-Holland
Number:
II
Seitenreferenz:
849-869
Erscheinungsjahr:
1986
Anzahl der Seiten:
21
Notiz zur Publikation:
(Zentralblatt für Mathematik, Vol. 607, #03003 und Mathematical Reviews 88i:68089)