scientific article; zbMATH DE number 176160

MaRDI QIDQ4035262zbMATH OpenFDO

Authors Axel Poigné

Publication date 18 May 1993

zbMATH Keywords

order-sorted algebrascompleteness with regard to a deduction system

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Recommendations

• Another definition of order-sorted algebra
• scientific article; zbMATH DE number 3949706
• Higher-order order-sorted algebras
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Semantics of order-sorted specifications

Cited in

(9)

• scientific article; zbMATH DE number 3931088 (Why is no real title available?)
• scientific article; zbMATH DE number 3949706 (Why is no real title available?)
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A simple abstract semantics for equational theories
• Unique-sort order-sorted theories : A description as monad morphisms
• Generator induction in order sorted algebras
• scientific article; zbMATH DE number 1678372 (Why is no real title available?)
• scientific article; zbMATH DE number 3922007 (Why is no real title available?)
• Higher-order algebra with transfinite 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 Q4035262)