scientific article; zbMATH DE number 3621102

MaRDI QIDQ4184294zbMATH OpenFDO

Authors Manfred Broy, Helmut Partsch

Publication date 1979

zbMATH Keywords

Data TypesObject StructuresSpecification of Computation Structures

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(4)

• Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
• Structured algebraic specifications: A kernel language
• Program development: From enumeration to backtracking
• A systematic study of models 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 Q4184294)