default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th CALCO 2017: Ljubljana, Slovenia
- Filippo Bonchi, Barbara König:
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. LIPIcs 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-033-0 - Front Matter, Table of Contents, Preface, List of Authors. 0:i-0:x
- Alex Simpson:
Probability Sheaves and the Giry Monad. 1:1-1:6 - Alessandro Gianola
, Stefano Kasangian, Nicoletta Sabadini:
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. 2:1-2:17 - Jirí Adámek, Stefan Milius:
On Corecursive Algebras for Functors Preserving Coproducts. 3:1-3:15 - Zeinab Bakhtiari, Helle Hvid Hansen:
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. 4:1-4:16 - Henning Basold, Damien Pous, Jurriaan Rot:
Monoidal Company for Accessible Functors. 5:1-5:16 - Harsh Beohar, Sebastian Küpper:
On Path-Based Coalgebras and Weak Notions of Bisimulation. 6:1-6:17 - Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo:
Parity Automata for Quantitative Linear Time Logics. 7:1-7:18 - Thomas Colcombet, Daniela Petrisan:
Automata Minimization: a Functorial Approach. 8:1-8:16 - Fredrik Dahlqvist, Alexander Kurz:
The Positivication of Coalgebraic Logics. 9:1-9:15 - Clovis Eberhart, Tom Hirschowitz:
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. 10:1-10:16 - Sebastian Enqvist, Yde Venema:
Disjunctive Bases: Normal Forms for Modal Logics. 11:1-11:16 - Brendan Fong, Fabio Zanasi:
A Universal Construction for (Co)Relations. 12:1-12:16 - William John Gowers, James Laird:
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. 13:1-13:17 - Tomas Jakl, Achim Jung:
Free Constructions and Coproducts of d-Frames. 14:1-14:15 - Alexander Knapp, Till Mossakowski:
UML Interactions Meet State Machines - An Institutional Approach. 15:1-15:15 - Harald König, Uwe Wolter:
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. 16:1-16:15 - Dan Marsden, Fabrizio Genovese:
Custom Hypergraph Categories via Generalized Relations. 17:1-17:16 - Stefan Milius:
Proper Functors and their Rational Fixed Point. 18:1-18:16 - David Reutter, Jamie Vicary:
A Classical Groupoid Model for Quantum Networks. 19:1-19:18 - David Reutter, Jamie Vicary:
A 2-Categorical Approach to Composing Quantum Structures. 20:1-20:20 - Fatemeh Seifan, Lutz Schröder, Dirk Pattinson:
Uniform Interpolation in Coalgebraic Modal Logic. 21:1-21:16 - Ana Sokolova, Harald Woracek:
Termination in Convex Sets of Distributions. 22:1-22:16 - David Sprunger, Lawrence S. Moss:
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. 23:1-23:15 - Henning Urbat:
Finite Behaviours and Finitary Corecursion. 24:1-24:16 - Kenta Cho, Bart Jacobs:
The EfProb Library for Probabilistic Calculations. 25:1-25:8
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-02 18:25 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:
