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.

Additional Metadata
ACM	Applicative Programming (acm D.1.1), Semantics of Programming Languages (acm F.3.2)
MSC	Theory of computing (msc 68Qxx), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)
Publisher	CWI
Series	Department of Computer Science [CS]
Organisation	Computer Systems & Telematics
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Walters, P. (1994). A complete term rewriting system for decimal integer arithmetic. In Department of Computer Science [CS] (R 9435). CWI.

Publication