PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Alban Ponse

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …