We present a term rewriting system for decimal integers with addition and subtraction. We prove that the system is confluent and terminating.

,
, ,
CWI
Department of Computer Science [CS]
Computer Systems & Telematics

Walters, H.R. (1994). A complete term rewriting system for decimal integer arithmetic. Department of Computer Science [CS]. CWI.