LIPIcs, Volume 139, CALCO 2019

• Markus Roggenbach and Ana Sokolova LIPIcs, Volume 139, CALCO'19, Complete Volume 10.4230/LIPIcs.CALCO.2019
• Markus Roggenbach and Ana Sokolova Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CALCO.2019.0
• Xiaohong Chen and Grigore Roşu Matching mu-Logic: Foundation of K Framework (Invited Paper) 10.4230/LIPIcs.CALCO.2019.1
• Stefan Milius From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper) 10.4230/LIPIcs.CALCO.2019.2
• Mehrnoosh Sadrzadeh Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper) 10.4230/LIPIcs.CALCO.2019.3
• Damien Pous Coinduction: Automata, Formal Proof, Companions (Invited Paper) 10.4230/LIPIcs.CALCO.2019.4
• Vincenzo Ciancia and Yde Venema Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages 10.4230/LIPIcs.CALCO.2019.5
• Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, and Alexandra Silva Tree Automata as Algebras: Minimisation and Determinisation 10.4230/LIPIcs.CALCO.2019.6
• Nick Bezhanishvili, Jim de Groot, and Yde Venema Coalgebraic Geometric Logic 10.4230/LIPIcs.CALCO.2019.7
• Henning Basold Coinduction in Flow: The Later Modality in Fibrations 10.4230/LIPIcs.CALCO.2019.8
• Marc de Visme and Glynn Winskel Causal Unfoldings 10.4230/LIPIcs.CALCO.2019.9
• Tao Gu and Fabio Zanasi A Coalgebraic Perspective on Probabilistic Logic Programming 10.4230/LIPIcs.CALCO.2019.10
• Astrid Belder, Bas Luttik, and Jos Baeten Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity 10.4230/LIPIcs.CALCO.2019.11
• Jiří Adámek On Terminal Coalgebras Derived from Initial Algebras 10.4230/LIPIcs.CALCO.2019.12
• Paul Blain Levy and Sergey Goncharov Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot 10.4230/LIPIcs.CALCO.2019.13
• Danel Ahman and Tarmo Uustalu Decomposing Comonad Morphisms 10.4230/LIPIcs.CALCO.2019.14
• Filippo Bonchi, Jens Seeber, and Paweł Sobociński The Axiom of Choice in Cartesian Bicategories 10.4230/LIPIcs.CALCO.2019.15
• Graham Campbell, Brian Courtehoute, and Detlef Plump Linear-Time Graph Algorithms in GP 2 10.4230/LIPIcs.CALCO.2019.16
• Mihai Codescu Hybridisation of Institutions in HETS (Tool Paper) 10.4230/LIPIcs.CALCO.2019.17
• Samuel Balco and Alexander Kurz Nominal String Diagrams 10.4230/LIPIcs.CALCO.2019.18
• Stefano Gogioso A Diagrammatic Approach to Quantum Dynamics 10.4230/LIPIcs.CALCO.2019.19
• Paweł Sobociński, Paul W. Wilson, and Fabio Zanasi CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper) 10.4230/LIPIcs.CALCO.2019.20