scientific article; zbMATH DE number 653218
From MaRDI portal
Publication:4309095
zbMath0820.68044MaRDI QIDQ4309095
David B. Skillicorn, François Baude
Publication date: 26 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Categorical embedding theorems (18E20)
This page was built for publication: