scientific article

zbMath0993.68061MaRDI QIDQ2768448

Lawrence S. Moss

Publication date: 23 April 2002

Full work available at URL: https://eudml.org/doc/122034

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

zbMATH Keywords

abstract data typeshidden function symbolsspecification of the rational numbers

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Meadows and the equational specification of division ⋮ Division safe calculation in totalised fields

This page was built for publication: