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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Colloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science
Editors	J. Demetrovics, G. Katona, A. Salomaa
Publisher	J. Bolyai Math. Soc. and North-Holland
Pages	849-869
Number of pages	21
Publication status	Published - 1986

Fields of science

@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. ed. / J. Demetrovics, G. Katona, A. Salomaa. J. Bolyai Math. Soc. and North-Holland, 1986. p. 849-869.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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 -