Rewrite systems for natural, integral, and rational arithmetic

DOI10.1007/3-540-62950-5_64zbMath1379.68194OpenAlexW1562672438MaRDI QIDQ4594221

Landy Rabehasaina, Evelyne Contejean, Claude Marché

Publication date: 17 November 2017

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-62950-5_64

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)

Related Items

Fracpairs and fractions over a reduced commutative ring, Modular and incremental proofs of AC-termination, Unnamed Item

Uses Software

• CiME
• STORM