Modularity in coalgebra
From MaRDI portal
Publication:2863891
zbMATH Open1276.68109MaRDI QIDQ2863891FDOQ2863891
Authors: Corina Cîrstea
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004671?np=y
Recommendations
- Coalgebraic structures in module theory.
- Model structures for coalgebras
- Structurable coalgebras
- Modular construction of complete coalgebraic logics
- Coq Modulo Theory
- Coalgebraic models for combinatorial model categories
- Coalgebra and abstraction
- scientific article
- Combinatorial models for coalgebraic structures
- Module coalgebras and Morita-Takeuchi context.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)
Cited In (8)
- Title not available (Why is that?)
- On institutions for modular coalgebraic specifications.
- CONCUR 2004 - Concurrency Theory
- Modular Algorithms for Heterogeneous Modal Logics
- An institution of modal logics for coalgebras
- Modular games for coalgebraic fixed point logics
- Modular construction of complete coalgebraic logics
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
This page was built for publication: Modularity in coalgebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863891)