Rewrite systems for integer arithmetic

DOI10.1007/3-540-59200-8_67zbMath1503.68168OpenAlexW2133177432MaRDI QIDQ5055840

H. R. J. Walters, Hans Zantema

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-59200-8_67

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Problems in rewriting III ⋮ Unnamed Item ⋮ Termination and derivational complexity of confluent one-rule string-rewriting systems

Uses Software

• LARCH

Cites Work

• Unnamed Item
• Corrigendum to ``Termination of rewriting
• An efficient representation of arithmetic for term rewriting
• More problems in rewriting
• Hybrid implementations of algebraic specifications

This page was built for publication: Rewrite systems for integer arithmetic