A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science
Herausgeber*innen	J. Demetrovics, G. Katona, A. Salomaa
Verlag	J. Bolyai Math. Soc. and North-Holland
Seiten	849-869
Seitenumfang	21
Publikationsstatus	Veröffentlicht - 1986

Wissenschaftszweige

@inproceedings{2643e245c3b14e76a69bab9b16fc0967,

title = "A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm",

author = "Franz Winkler and Bruno Buchberger",

year = "1986",

language = "English",

pages = "849--869",

editor = "\{J. Demetrovics, G. Katona, A. Salomaa\}",

booktitle = "Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science",

publisher = "J. Bolyai Math. Soc. and North-Holland",

}

A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm. / Winkler, Franz ; Buchberger, Bruno.
Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science. Hrsg. / J. Demetrovics, G. Katona, A. Salomaa. J. Bolyai Math. Soc. and North-Holland, 1986. S. 849-869.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm

AU - Winkler, Franz

AU - Buchberger, Bruno

PY - 1986

Y1 - 1986

M3 - Conference proceedings

SP - 849

EP - 869

BT - Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science

A2 - J. Demetrovics, G. Katona, A. Salomaa, null

PB - J. Bolyai Math. Soc. and North-Holland

ER -