Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492825
DOI10.1007/11548133zbMath1151.03356OpenAlexW249899439MaRDI QIDQ5492825
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11548133
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)
Related Items (7)
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Equational Coalgebraic Logic ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Coalgebraic Modal Logic Beyond Sets ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
This page was built for publication: Algebra and Coalgebra in Computer Science
