scientific article; zbMATH DE number 3640851

zbMath0412.68018MaRDI QIDQ4199504

Peter Padawitz, Hartmut Ehrig, Hans-Joerg Kreowski

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

correctnesssemanticssyntaxabstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Correctness proofs for abstract implementations, Complexity of algebraic implementations for abstract data types, Implementation of data types by algebraic methods