Complete involutive rewriting systems
From MaRDI portal
Publication:2466871
DOI10.1016/j.jsc.2007.07.005zbMath1128.68044OpenAlexW2122714477MaRDI QIDQ2466871
Christopher D. Wensley, Gareth A. Evans
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
Related Items
Letterplace ideals and non-commutative Gröbner bases. ⋮ On properties not inherited by monoids from their Schützenberger groups.
Cites Work