default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th CMCS 2012: Tallinn, Estonia (Part of ETAPS 2012)
- Dirk Pattinson, Lutz Schröder:
Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7399, Springer 2012, ISBN 978-3-642-32783-4 - Samson Abramsky
, Jonathan A. Zvesper:
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference. 1-19 - Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter:
Defining Context-Free Power Series Coalgebraically. 20-39 - Pawel Sobocinski:
Relational Presheaves as Labelled Transition Systems. 40-50 - Jirí Adámek, Stefan Milius, Lawrence S. Moss:
On Finitary Functors and Their Presentations. 51-70 - Giorgio Bacci, Marino Miculan:
Structural Operational Semantics for Continuous State Probabilistic Processes. 71-89 - Vincenzo Ciancia, Yde Venema:
Stream Automata Are Coalgebras. 90-108 - Bart Jacobs, Alexandra Silva, Ana Sokolova:
Trace Semantics via Determinization. 109-129 - Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries:
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. 130-149 - Johannes Marti, Yde Venema:
Lax Extensions of Coalgebra Functors. 150-169 - Eleftherios Matsikoudis, Edward A. Lee:
From Transitions to Executions. 170-190 - Dusko Pavlovic:
Tracing the Man in the Middle in Monoidal Categories. 191-217 - Célia Picard, Ralph Matthes:
Permutations in Coinductive Graph Representation. 218-237 - Toby Wilkinson:
Internal Models for Coalgebraic Modal Logics. 238-258
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-23 20:40 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:
