Algebraic signatures enriched by dependency structure

DOI10.1007/978-3-642-28412-0_15MaRDI QIDQ2890335zbMATH OpenOpenAlexFDO

Authors Grzegorz Marczyński

Publication date 8 June 2012

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28412-0_15

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Recommendations

• WHEN IS A CATEGORY OF MANY-SORTED PARTIAL ALGEBRAS CARTESIAN-CLOSED?
• scientific article; zbMATH DE number 1471992
• A 2-categorical framework for the syntax and semantics of many-sorted equational logic
• Modal logic and algebraic specifications
• WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

Cites work

• Architectural specifications in CASL
• Essential concepts of algebraic specification and program development
• Modal logics with linear alternative relations
• Products of coalgebras.
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(1)

• scientific article; zbMATH DE number 1754650 (Why is no real title available?)

This page was built for publication: Algebraic signatures enriched by dependency structure

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