![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
14th CMCS 2018: Thessaloniki, Greece (Part of ETAPS 2018)
- Corina Cîrstea:
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11202, Springer 2018, ISBN 978-3-030-00388-3 - Samson Abramsky
, Nihil Shah:
Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. 1-5 - Clemens Kupke
:
Coalgebraic Logics & Duality. 6-12 - Stefano Berardi, Makoto Tatsuta:
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs. 13-33 - Ulrich Berger
, Anton Setzer
:
Undecidability of Equality for Codata Types. 34-55 - Ulrich Dorsch
, Stefan Milius
, Lutz Schröder
, Thorsten Wißmann
:
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. 56-77 - Frank M. V. Feys, Helle Hvid Hansen
, Lawrence S. Moss:
Long-Term Values in Markov Decision Processes, (Co)Algebraically. 78-99 - Alexandre Goy
, Jurriaan Rot:
(In)finite Trace Equivalence of Probabilistic Transition Systems. 100-121 - Bart Jacobs, Paul Blain Levy, Jurriaan Rot:
Steps and Traces. 122-143 - Stefan Milius, Jirí Adámek, Henning Urbat:
On Algebras with Effectful Iteration. 144-166 - Dusko Pavlovic, Muzamil Yahia:
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). 167-189 - David Sprunger, Shin-ya Katsumata
, Jérémy Dubut
, Ichiro Hasuo:
Fibrational Bisimulations and Quantitative Reasoning. 190-213 - Natsuki Urabe, Ichiro Hasuo:
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. 214-234
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.