default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th CMCS 2002: Grenoble, France (Part of ETAPS 2002)
- Lawrence S. Moss:
Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(1), Elsevier 2002 - Jirí Adámek, Stefan Milius, Jirí Velebil:
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. 1-28 - Falk Bartels:
GSOS for Probabilistic Transition Systems. 29-53 - Corina Cîrstea:
Institutionalizing Coalgebraic Modal Logic. 54-70 - Neil Ghani, Christoph Lüth, Federico De Marchi:
Coalgebraic Monads. 71-91 - Jesse Hughes:
Some Co-Birkhoff Type Theorems. 92-111 - Bart Jacobs:
Comprehension for Coalgebras. 112-134 - Alexander Kurz
, Dirk Pattinson:
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. 135-155 - Alexander Kurz, Jirí Rosický:
Modal Predicates and Co-equations. 156-175 - Dragan Masulovic:
Towards Coalgebraic Behaviourism. 176-196 - José Meseguer, Grigore Rosu:
Towards Behavioral Maude: Behavioral Membership Equational Logic. 197-253 - Alessandra Palmigiano:
Abstract Logics as Dialgebras. 254-269 - Jan Rothe:
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. 270-285 - Jan J. M. M. Rutten:
Coinductive Counting: Bisimulation in Enumerative Combinatorics. 286-304 - Luigi Santocanale:
From Parity Games to Circular Proofs. 305-316 - Hendrik Tews:
Greatest Bisimulations for Binary Methods. 317-336 - Hiroshi Watanabe:
Well-behaved Translations between Structural Operational Semantics. 337-357 - James Worrell:
A Note on Coalgebras and Presheaves. 358-364 - Lawrence S. Moss:
Preface. 365-366
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 2024-12-26 00:34 CET 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:
