scientific article; zbMATH DE number 3799001

zbMATH Open0506.68024MaRDI QIDQ4743723FDOQ4743723

Authors: Peter Pepper, Walter Dosch, Manfred Broy, Martin Wirsing, Helmut Partsch 

Publication date: 1983

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

zbMATH Keywords

algebraic specifications of computation structureshierarchical specificationuniversal-existential formulas

Mathematics Subject Classification ID

Data structures (68P05)

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 Q4743723)