scientific article; zbMATH DE number 3640851

From MaRDI portal

Revision as of 13:20, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4199504

Jump to:navigation, search

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

correctness semantics syntax abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (3)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4199504&oldid=18046219"