default search action
8th CALC O 2019: London, UK
- Markus Roggenbach, Ana Sokolova:
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. LIPIcs 139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-120-7 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:10
- Xiaohong Chen, Grigore Rosu:
Matching mu-Logic: Foundation of K Framework (Invited Paper). 1:1-1:4 - Stefan Milius:
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). 2:1-2:5 - Mehrnoosh Sadrzadeh
:
Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper). 3:1-3:4 - Damien Pous
Coinduction: Automata, Formal Proof, Companions (Invited Paper). 4:1-4:4 - Vincenzo Ciancia, Yde Venema:
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. 5:1-5:18 - Gerco van Heerdt
Tree Automata as Algebras: Minimisation and Determinisation. 6:1-6:22 - Nick Bezhanishvili
Coalgebraic Geometric Logic. 7:1-7:18 - Henning Basold
Coinduction in Flow: The Later Modality in Fibrations. 8:1-8:22 - Marc de Visme, Glynn Winskel:
Causal Unfoldings. 9:1-9:18 - Tao Gu, Fabio Zanasi
A Coalgebraic Perspective on Probabilistic Logic Programming. 10:1-10:21 - Astrid Belder, Bas Luttik, Jos C. M. Baeten:
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. 11:1-11:22 - Jirí Adámek:
On Terminal Coalgebras Derived from Initial Algebras. 12:1-12:21 - Paul Blain Levy
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. 13:1-13:17 - Danel Ahman
Decomposing Comonad Morphisms. 14:1-14:19 - Filippo Bonchi
The Axiom of Choice in Cartesian Bicategories. 15:1-15:17 - Graham Campbell
Linear-Time Graph Algorithms in GP 2. 16:1-16:23 - Mihai Codescu
Hybridisation of Institutions in HETS (Tool Paper). 17:1-17:10 - Samuel Balco
Nominal String Diagrams. 18:1-18:20 - Stefano Gogioso
A Diagrammatic Approach to Quantum Dynamics. 19:1-19:23 - Pawel Sobocinski
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). 20:1-20:7
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-04 20:31 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: