J.A. Bergstra

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 …

Instruction Sequences Expressing Multiplication Algorithms

2018 · Scientific Annals of Computer Science

For each function on bit strings, its restriction to bit strings of any given length can be computed by a finite instruction sequence that contains only instructions to set and get the content of Boolean …

Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero

2024 · Journal of Logic Language and Information

Abstract Arithmetical texts involving division are governed by conventions that avoid the risk of problems to do with division by zero (DbZ). A model for elementary arithmetic texts is given, and with the help of …