Complete involutive rewriting systems

DOI10.1016/J.JSC.2007.07.005MaRDI QIDQ2466871zbMATH OpenOpenAlexFDO

Authors Gareth A. Evans, C. D. Wensley

Publication date 16 January 2008

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2007.07.005

zbMATH Keywords

Gröbner basisinvolutive basisKnuth-Bendixstring rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4006231
• Invariants and closures in the theory of rewrite systems
• scientific article; zbMATH DE number 3890721
• scientific article; zbMATH DE number 1419256
• Term Rewriting and Applications
• COMPLETE REWRITING SYSTEMS FOR CODIFIED SUBMONOIDS
• Completeness of context-sensitive rewriting
• Reduction operators and completion of rewriting systems
• scientific article; zbMATH DE number 1324448
• scientific article; zbMATH DE number 1629834

Cites work

• scientific article; zbMATH DE number 1684371 (Why is no real title available?)
• scientific article; zbMATH DE number 4077463 (Why is no real title available?)
• scientific article; zbMATH DE number 1163446 (Why is no real title available?)
• scientific article; zbMATH DE number 2070162 (Why is no real title available?)
• scientific article; zbMATH DE number 5052246 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Involutive bases of polynomial ideals
• Minimal involutive bases
• Rewriting as a special case of non-commutative Gröbner basis theory

Cited in

(7)

• n-level rewriting systems
• Invariants and closures in the theory of rewrite systems
• Rewriting as a special case of non-commutative Gröbner basis theory
• scientific article; zbMATH DE number 1324448 (Why is no real title available?)
• scientific article; zbMATH DE number 1419256 (Why is no real title available?)
• On properties not inherited by monoids from their Schützenberger groups.
• Letterplace ideals and non-commutative Gröbner bases.

This page was built for publication: Complete involutive rewriting systems

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