scientific article
From MaRDI portal
Publication:3789048
zbMath0645.68027MaRDI QIDQ3789048
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Data structures (68P05) Categories of algebras (08C05)
Related Items (4)
Order-sorted algebraic specifications with higher-order functions ⋮ Free objects and equational deduction for partial conditional specifications ⋮ R n - and G n -logics ⋮ Order-sorted algebraic specifications with higher-order functions
This page was built for publication:
