UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY

DOI10.1142/S0129054191000042zbMath0739.68066OpenAlexW2136118617MaRDI QIDQ3988833

Freek Wiedijk, Sjouke Mauw, Jan A. Bergstra

Publication date: 28 June 1992

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054191000042

zbMATH Keywords

algebraic specificationsabstract data typesformal description techniques

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

An upper bound for the equational specification of finite state services

This page was built for publication: UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY