default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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
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-11-21 20:37 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:
