scientific article; zbMATH DE number 176160

zbMATH Open0778.08002MaRDI QIDQ4035262FDOQ4035262

Authors: Axel Poigné 

Publication date: 18 May 1993

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

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

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)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)