default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd CMCS 2000: Berlin, Germany
- Horst Reichel:
Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000. Electronic Notes in Theoretical Computer Science 33, Elsevier 2000 - Horst Reichel:
Preface. 1-2 - Ola Angelsmark:
Constraints, Adjunctions and (Co)algebras. 3-12 - Michael Baldamus:
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. 13-41 - Alexandru Baltag:
A Logic for Coalgebraic Simulation. 42-60 - Samuel R. Buss, Grigore Rosu:
Incompleteness of Behavioral Logics. 61-79 - Corina Cîrstea:
An Algebra-Coalgebra Framework for System Specification. 80-110 - H. Peter Gumm, Tobias Schröder:
Coalgebraic structure from weak limit preserving functors. 111-131 - Furio Honsell, Marina Lenisa:
Coalgebraic Coinduction in (Hyper)set-theoretic Categories. 132-159 - Bart Jacobs:
Towards a Duality Result in Coalgebraic Modal Logic. 160-195 - Alexander Kurz
, Dirk Pattinson:
Notes on Coalgebras, Cofibrations and Concurrency. 196-229 - Marina Lenisa, John Power, Hiroshi Watanabe:
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. 230-260 - Luís Monteiro:
Observation systems. 261-275 - Erik Poll:
A Coalgebraic Semantics of Subtyping. 276-293 - Martin Rößiger:
Coalgebras and Modal Logic. 294-315 - Hendrik Tews:
Coalgebras for Binary Methods. 316 - Uwe Wolter:
On Corelations, Cokernels, and Coequations. 317-336 - James Worrell:
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. 337-356
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-15 21:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
