scientific article; zbMATH DE number 3880080

zbMATH Open0552.68012MaRDI QIDQ3345751FDOQ3345751

Authors: Marc Bergman 

Publication date: 1982

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

Recommendations

• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 3890710
• scientific article; zbMATH DE number 3936493
• scientific article; zbMATH DE number 194509
• Algebraic specifications of computable and semicomputable data types

zbMATH Keywords

predicate logicalgebraic specificationsfirst order logicPROLOGAlgebraic abstract data types

Mathematics Subject Classification ID

Data structures (68P05) Classical first-order logic (03B10)

Cited In (16)

• Algebraic methods in the compositional analysis of logic programs
• Exceptions for algebraic specifications: On the meaning of ``but
• A generic algebra for data collections based on constructive logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Informal Approach to Formal (Algebraic) Specifications
• Algorithmic specifications: a constructive specification method for abstract data types
• Title not available (Why is that?)
• A constructive method for abstract algebraic software specification
• An algebraic presentation of predicate logic (extended abstract)
• Recent Trends in Algebraic Development Techniques
• On the algebra of structured specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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