scientific article; zbMATH DE number 4052992

MaRDI QIDQ3789048zbMATH OpenFDO

Authors Bernhard Möller, Andrzej Tarlecki, Martin Wirsing

Publication date 1988

zbMATH Keywords

algebraic specificationsdomain constructionspredefined data type constructions

Mathematics Subject Classification ID

Categories of algebras (08C05) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4078770
• Algebraic specifications for domain theory
• Algebraic specifications, higher-order types and set-theoretic models
• scientific article; zbMATH DE number 671941
• scientific article; zbMATH DE number 4011909

Cited in

(9)

• Order-sorted algebraic specifications with higher-order functions
• scientific article; zbMATH DE number 4206001 (Why is no real title available?)
• scientific article; zbMATH DE number 3936495 (Why is no real title available?)
• scientific article; zbMATH DE number 671941 (Why is no real title available?)
• R n - and G n -logics
• Algebraic specifications for domain theory
• Order-sorted algebraic specifications with higher-order functions
• Topological methods for algebraic specification
• Free objects and equational deduction for partial conditional specifications

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