scientific article; zbMATH DE number 3621102

zbMATH Open0399.68030MaRDI QIDQ4184294FDOQ4184294

Authors: Manfred Broy, Helmut Partsch 

Publication date: 1979

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

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)