CALCO 2019 June 3-6, 2019, London, United Kingdom

8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)



Markus Roggenbach and Ana Sokolova (Eds.)
ISBN 978-3-95977-120-7, LIPICS Vol. 139 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 17 MB)
Search Publication Server

Authors
  • Adámek, Jirí
  • Ahman, Danel
  • Baeten, Jos
  • Balco, Samuel
  • Basold, Henning
  • Belder, Astrid
  • Bezhanishvili, Nick
  • Bonchi, Filippo
  • Campbell, Graham
  • Chen, Xiaohong
  • Ciancia, Vincenzo
  • Codescu, Mihai
  • Courtehoute, Brian
  • de Groot, Jim
  • de Visme, Marc
  • Gogioso, Stefano
  • Goncharov, Sergey
  • Gu, Tao
  • Kappé, Tobias
  • Kurz, Alexander
  • Levy, Paul Blain
  • Luttik, Bas
  • Milius, Stefan
  • Plump, Detlef
  • Pous, Damien
  • Roggenbach, Markus
  • Rosu, Grigore
  • Rot, Jurriaan
  • Sadrzadeh, Mehrnoosh
  • Sammartino, Matteo
  • Seeber, Jens
  • Silva, Alexandra
  • Sobocinski, Pawel
  • Sokolova, Ana
  • Uustalu, Tarmo
  • van Heerdt, Gerco
  • Venema, Yde
  • Wilson, Paul W.
  • Winskel, Glynn
  • Zanasi, Fabio
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Roggenbach, Markus ; Sokolova, Ana

    Abstract | Document (311 KB) | BibTeX

    Matching mu-Logic: Foundation of K Framework (Invited Paper)
    Authors: Chen, Xiaohong ; Rosu, Grigore

    Abstract | Document (466 KB) | BibTeX

    From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper)
    Authors: Milius, Stefan

    Abstract | Document (329 KB) | BibTeX

    Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper)
    Authors: Sadrzadeh, Mehrnoosh

    Abstract | Document (301 KB) | BibTeX

    Coinduction: Automata, Formal Proof, Companions (Invited Paper)
    Authors: Pous, Damien

    Abstract | Document (309 KB) | BibTeX

    Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages
    Authors: Ciancia, Vincenzo ; Venema, Yde

    Abstract | Document (513 KB) | BibTeX

    Tree Automata as Algebras: Minimisation and Determinisation
    Authors: van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan ; Sammartino, Matteo ; Silva, Alexandra

    Abstract | Document (580 KB) | BibTeX

    Coalgebraic Geometric Logic
    Authors: Bezhanishvili, Nick ; de Groot, Jim ; Venema, Yde

    Abstract | Document (672 KB) | BibTeX

    Coinduction in Flow: The Later Modality in Fibrations
    Authors: Basold, Henning

    Abstract | Document (605 KB) | BibTeX

    Causal Unfoldings
    Authors: de Visme, Marc ; Winskel, Glynn

    Abstract | Document (496 KB) | BibTeX

    A Coalgebraic Perspective on Probabilistic Logic Programming
    Authors: Gu, Tao ; Zanasi, Fabio

    Abstract | Document (1,801 KB) | BibTeX

    Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity
    Authors: Belder, Astrid ; Luttik, Bas ; Baeten, Jos

    Abstract | Document (579 KB) | BibTeX

    On Terminal Coalgebras Derived from Initial Algebras
    Authors: Adámek, Jirí

    Abstract | Document (493 KB) | BibTeX

    Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
    Authors: Levy, Paul Blain ; Goncharov, Sergey

    Abstract | Document (523 KB) | BibTeX

    Decomposing Comonad Morphisms
    Authors: Ahman, Danel ; Uustalu, Tarmo

    Abstract | Document (573 KB) | BibTeX

    The Axiom of Choice in Cartesian Bicategories
    Authors: Bonchi, Filippo ; Seeber, Jens ; Sobocinski, Pawel

    Abstract | Document (535 KB) | BibTeX

    Linear-Time Graph Algorithms in GP 2
    Authors: Campbell, Graham ; Courtehoute, Brian ; Plump, Detlef

    Abstract | Document (548 KB) | BibTeX

    Hybridisation of Institutions in HETS (Tool Paper)
    Authors: Codescu, Mihai

    Abstract | Document (445 KB) | BibTeX

    Nominal String Diagrams
    Authors: Balco, Samuel ; Kurz, Alexander

    Abstract | Document (8,621 KB) | BibTeX

    A Diagrammatic Approach to Quantum Dynamics
    Authors: Gogioso, Stefano

    Abstract | Document (511 KB) | BibTeX

    CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)
    Authors: Sobocinski, Pawel ; Wilson, Paul W. ; Zanasi, Fabio

    Abstract | Document (407 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI