scientific article; zbMATH DE number 3640851

zbMATH Open0412.68018MaRDI QIDQ4199504FDOQ4199504

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

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

semanticssyntaxabstract data typescorrectness

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (3)

• Correctness proofs for abstract implementations
• Implementation of data types by algebraic methods
• Complexity of algebraic implementations for 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 Q4199504)