Alban Ponse

Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view.

2016 · UvA-DARE (University of Amsterdam)

A datatype defining rewrite system (DDRS) is a ground-complete term rewriting system, intended to be used for the specification of datatypes. As a follow-up of an earlier paper we define two concise DDRSes for the …