scientific article; zbMATH DE number 4011909

MaRDI QIDQ3761676zbMATH OpenFDO

Authors Hans-Jörg Kreowski

Publication date 1987

zbMATH Keywords

algebraic specification SPECalgebras with partial functionsinitial based algebraSPEC-algebratotal algebras

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(15)

• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• scientific article; zbMATH DE number 1617298 (Why is no real title available?)
• scientific article; zbMATH DE number 3869407 (Why is no real title available?)
• scientific article; zbMATH DE number 3880784 (Why is no real title available?)
• scientific article; zbMATH DE number 3986625 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 4052992 (Why is no real title available?)
• scientific article; zbMATH DE number 713868 (Why is no real title available?)
• Properties of quasiary specification algebras
• scientific article; zbMATH DE number 2182599 (Why is no real title available?)
• scientific article; zbMATH DE number 2086653 (Why is no real title available?)
• scientific article; zbMATH DE number 1418809 (Why is no real title available?)
• Abstract computability and algebraic specification
• Consistency and semantics of equational definitions over predefined algebras
• An encoding of partial algebras as total algebras

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