scientific article; zbMATH DE number 3594631
From MaRDI portal
Publication:4160385
zbMath0382.68026MaRDI QIDQ4160385
Peter Padawitz, Hartmut Ehrig, Hans-Joerg Kreowski
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Complexity of algebraic implementations for abstract data types ⋮ Algebraic implementation of abstract data types ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Implementation of data types by algebraic methods ⋮ Parameter passing in algebraic specification languages ⋮ A constructive method for abstract algebraic software specification ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
This page was built for publication:
