Skip to main navigation Skip to search Skip to main content

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

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Original languageEnglish
Title of host publicationColloquia Matehamtica Societatis J. Bolyai, 42, Algebra, Combinatorics and Logic in Computer Science
Editors J. Demetrovics, G. Katona, A. Salomaa
PublisherJ. Bolyai Math. Soc. and North-Holland
Pages849-869
Number of pages21
Publication statusPublished - 1986

Fields of science

  • 101 Mathematics
  • 101001 Algebra
  • 101005 Computer algebra
  • 101009 Geometry
  • 101012 Combinatorics
  • 101013 Mathematical logic
  • 101020 Technical mathematics

Cite this