scientific article
From MaRDI portal
Publication:3883462
zbMath0441.68014MaRDI QIDQ3883462
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Structured algebraic specifications: A kernel language ⋮ A second order theory of data types ⋮ Crypt-equivalent algebraic specifications ⋮ Algebraic specifications of computable and semicomputable data types ⋮ Equational specification of partial higher-order algebras ⋮ Algebraic implementation of abstract data types ⋮ Unnamed Item ⋮ Semantics of algorithmic languages ⋮ Parameter passing in algebraic specification languages ⋮ A systematic study of models of abstract data types
This page was built for publication:
