scientific article; zbMATH DE number 3594631

MaRDI QIDQ4160385zbMATH OpenFDO

Authors Hartmut Ehrig, Peter Padawitz, Hans-Jörg Kreowski

Publication date 1978

Mathematics Subject Classification ID

Data structures (68P05) Special categories (18B99)

Cited in

(8)

• Complexity of algebraic implementations for abstract data types
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Compatibility of parameter passing and implementation of parameterized data types
• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Parameter passing in algebraic specification languages
• Implementation of data types by algebraic methods
• A constructive method for abstract algebraic software specification
• Algebraic implementation of abstract data types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4160385)