Detecting isomorphisms of modular specifications with diagrams

DOI10.1007/3-540-60043-4_53MaRDI QIDQ5096385zbMATH OpenOpenAlexFDO

Authors C. Oriat

Publication date 16 August 2022

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60043-4_53

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Detecting equivalence of modular specifications with categorical diagrams
• scientific article; zbMATH DE number 1555491
• On institutions for modular coalgebraic specifications.
• scientific article; zbMATH DE number 1522144
• On local modularity variants and \(\Pi\)-institutions

Cites work

• Generalized algebraic theories and contextual categories
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3942988 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Structured algebraic specifications: A kernel language

Cited in

(1)

• Detecting equivalence of modular specifications with categorical diagrams

This page was built for publication: Detecting isomorphisms of modular specifications with diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096385)