scientific article
From MaRDI portal
Publication:3687694
zbMath0571.68014MaRDI QIDQ3687694
Andrzej Tarlecki, Martin Wirsing
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On the existence of free models in abstract algebraic institutions ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Specifications in an arbitrary institution
This page was built for publication: