A complete term rewriting system for decimal integer arithmetic
We present a term rewriting system for decimal integers with addition and subtraction. We prove that the system is confluent and terminating.
|Applicative Programming (acm D.1.1), Semantics of Programming Languages (acm F.3.2)|
|Theory of computing (msc 68Qxx), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)|
|Department of Computer Science [CS]|
|Organisation||Computer Systems & Telematics|
Walters, H.R. (1994). A complete term rewriting system for decimal integer arithmetic. Department of Computer Science [CS]. CWI.