Franz Winkler,
"Reducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches."
, in Lecture Notes in Computer Science 204: Proceedings European Confernce on Computer Algebra (EUROCAL'85), Springer Verlag, Seite(n) 378-389, 1985
Original Titel:
Reducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches.
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings European Confernce on Computer Algebra (EUROCAL'85)
Veröffentlicher:
Springer Verlag
Seitenreferenz:
378-389
Erscheinungsjahr:
1985
Anzahl der Seiten:
12
Notiz zur Publikation:
(Zentralblatt für Mathematik, Vol. 579, #68026 und Mathematical Reviews 87a:68007)
Forschungs-