scientific article
From MaRDI portal
Publication:2736338
zbMath0967.68533MaRDI QIDQ2736338
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Structured theories and institutions ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Relations as abstract datatypes: An institution to specify relations between algebras
This page was built for publication:
