HTML Export for CALCO 2019

Copy to Clipboard Download

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

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode