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

DOI10.1007/3-540-55719-9_90zbMath1427.68373OpenAlexW1604132856MaRDI QIDQ5204333

Reinhard Bündgen

Publication date: 4 December 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55719-9_90

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42)

Cites Work

• Completion for rewriting modulo a congruence
• Complete Sets of Reductions for Some Equational Theories
• Simulating Buchberger's algorithm by Knuth-Bendix completion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item