Recent Trends in Algebraic Development Techniques

DOI10.1007/B94458MaRDI QIDQ5900829zbMATH OpenOpenAlexFDO

Authors Alexander Kurz

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories of machines, automata (18B20) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2079667
• Views on behaviour protocols and their semantic foundation
• Algebra and Coalgebra in Computer Science
• A logic of behaviour in context
• Towards a Theory of Reach
• Abstract Beth definability in institutions
• The semantics of behavior
• scientific article; zbMATH DE number 1418816
• Towards coalgebraic behaviourism

Cited in

(5)

• Observational logic, constructor-based logic, and their duality.
• scientific article; zbMATH DE number 1705159 (Why is no real title available?)
• scientific article; zbMATH DE number 2079667 (Why is no real title available?)
• scientific article; zbMATH DE number 2087420 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science

This page was built for publication: Recent Trends in Algebraic Development Techniques

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