default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th CMCS 2008: Budapest, Hungary
- Jirí Adámek, Clemens Kupke:
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008. Electronic Notes in Theoretical Computer Science 203(5), Elsevier 2008 - Jirí Adámek, Clemens Kupke
:
Preface. 1-2 - Éric Badouel, Maurice Tchoupé Tchendji:
Merging Hierarchically-Structured Documents in Workflow Systems. 3-24 - Yves Bertot, Ekaterina Komendantskaya:
Inductive and Coinductive Components of Corecursive Functions in Coq. 25-47 - Vincenzo Ciancia, Ugo Montanari:
A Name Abstraction Functor for Named Sets. 49-70 - Corina Cîrstea, Mehrnoosh Sadrzadeh:
Modular Games for Coalgebraic Fixed Point Logics. 71-92 - Egbert Fohry:
On Products of Transition Systems. 93-107 - Helle Hvid Hansen:
Coalgebraising Subsequential Transducers. 109-129 - Bart Jacobs:
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. 131-152 - Clemens Kupke, Jan J. M. M. Rutten:
Observational Coalgebras and Complete Sets of Co-operations. 153-174 - Alexander Kurz, Daniela Petrisan:
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. 175-194 - Raul Andres Leal:
Predicate Liftings Versus Nabla Modalities. 195-220 - Dirk Pattinson, Lutz Schröder:
Admissibility of Cut in Coalgebraic Logics. 221-241 - Daniel Schwencke:
Coequational Logic for Finitary Functors. 243-262 - Tarmo Uustalu, Varmo Vene:
Comonadic Notions of Computation. 263-284
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-01-09 12:02 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:
