scientific article; zbMATH DE number 7327950

MaRDI QIDQ5856421

Alban Ponse, Jan A. Bergstra

Publication date: 26 March 2021

Full work available at URL: https://arxiv.org/abs/1608.06212

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

integer arithmeticequational specificationdatatype defining rewrite systemnatural number arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• CSI

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fracpairs and fractions over a reduced commutative ring
• A systematic study of models of abstract data types
• Algebraic specifications of computable and semicomputable data types
• Testing algebraic data types and processes: A unifying theory
• Division by zero in non-involutive meadows
• The rational numbers as an abstract data type
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Rewrite systems for natural, integral, and rational arithmetic
• Rewrite systems for integer arithmetic
• Hybrid implementations of algebraic specifications
• Improving rewriting induction approach for proving ground confluence
• CSI – A Confluence Tool
• Division by Zero in Common Meadows

This page was built for publication: