scientific article; zbMATH DE number 1241628

MaRDI QIDQ4225064zbMATH OpenFDO

Authors Claude Marché

Publication date 22 June 1999

zbMATH Keywords

Buchberger's algorithmnormalized completion

Mathematics Subject Classification ID

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

Recommendations

• Normalized rewriting: An alternative to rewriting modulo a set of equations
• scientific article; zbMATH DE number 3928345
• scientific article; zbMATH DE number 4076598
• Simulating Buchberger's algorithm by Knuth-Bendix completion

Cited in

(8)

• A categorical critical-pair completion algorithm
• Normalized rewriting: An alternative to rewriting modulo a set of equations
• Normalized completion revisited
• Multi-completion with termination tools
• scientific article; zbMATH DE number 1522859 (Why is no real title available?)
• Simulating Buchberger's algorithm by Knuth-Bendix completion
• Efficiency issues in the KBMAG procedure
• Rewriting modulo in diagrammatic algebras and application to categorification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4225064)