scientific article; zbMATH DE number 58299

MaRDI QIDQ4005186zbMATH OpenFDO

Authors Hartmut Ehrig, M. Große-Rhode

Publication date 27 September 1992

zbMATH Keywords

algebraic specificationsrestriction

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2102722
• A restricted second order logic for finite structures
• A restricted second order logic for finite structures
• Compositional specification in rewriting logic
• scientific article; zbMATH DE number 3880080
• scientific article; zbMATH DE number 5198932
• scientific article; zbMATH DE number 2196596
• On the restricted equivalence for subclasses of propositional logic
• A resolution principle for constrained logics
• scientific article; zbMATH DE number 4057010

Cited in

(3)

• Modal restriction semigroups: towards an algebra of functions.
• scientific article; zbMATH DE number 3956411 (Why is no real title available?)
• Restriction in Program Algebra

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