An efficient representation of arithmetic for term rewriting

DOI10.1007/3-540-53904-2_100zbMath1503.68095OpenAlexW1567354447MaRDI QIDQ5055764

Dave Cohen, Phil Watson

Publication date: 9 December 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-53904-2_100

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items

More problems in rewriting ⋮ Rewrite systems for integer arithmetic ⋮ Problems in rewriting III

Cites Work

• Termination of rewriting
• Unnamed Item