Buchberger's algorithm: The term rewriter's point of view

DOI10.1016/0304-3975(95)00061-5zbMath0871.68088OpenAlexW2080111120MaRDI QIDQ1350495

Could not fetch data.

Publication date: 27 February 1997

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00061-5

Mathematics Subject Classification ID

Could not fetch data.