@Proceedings{roggenbach_et_al:LIPIcs.CALCO.2019,
title = {{LIPIcs, Volume 139, CALCO'19, Complete Volume}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019},
URN = {urn:nbn:de:0030-drops-115619},
doi = {10.4230/LIPIcs.CALCO.2019},
annote = {Keywords: Theory of computation, Models of computation; Modal and temporal logics; Algebraic semantics; Categorical semantics, Quantum computation theory; Software and its engineering, Specification languages}
}
@InProceedings{roggenbach_et_al:LIPIcs.CALCO.2019.0,
author = {Roggenbach, Markus and Sokolova, Ana},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {0:i--0:x},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.0},
URN = {urn:nbn:de:0030-drops-114282},
doi = {10.4230/LIPIcs.CALCO.2019.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{chen_et_al:LIPIcs.CALCO.2019.1,
author = {Chen, Xiaohong and Ro\c{s}u, Grigore},
title = {{Matching mu-Logic: Foundation of K Framework}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {1:1--1:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.1},
URN = {urn:nbn:de:0030-drops-114296},
doi = {10.4230/LIPIcs.CALCO.2019.1},
annote = {Keywords: Matching mu-logic, Program verification, Reachability logic}
}
@InProceedings{milius:LIPIcs.CALCO.2019.2,
author = {Milius, Stefan},
title = {{From Equational Specifications of Algebras with Structure to Varieties of Data Languages}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {2:1--2:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.2},
URN = {urn:nbn:de:0030-drops-114309},
doi = {10.4230/LIPIcs.CALCO.2019.2},
annote = {Keywords: Birkhoff theorem, Equational logic, Eilenberg theorem, Data languages}
}
@InProceedings{sadrzadeh:LIPIcs.CALCO.2019.3,
author = {Sadrzadeh, Mehrnoosh},
title = {{Principles of Natural Language, Logic, and Tensor Semantics}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {3:1--3:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.3},
URN = {urn:nbn:de:0030-drops-114312},
doi = {10.4230/LIPIcs.CALCO.2019.3},
annote = {Keywords: Residuated Monoids, Vector Space Semantics, Corpora of Textual Data, Sentence Similarity and Disambiguation}
}
@InProceedings{pous:LIPIcs.CALCO.2019.4,
author = {Pous, Damien},
title = {{Coinduction: Automata, Formal Proof, Companions}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {4:1--4:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.4},
URN = {urn:nbn:de:0030-drops-114323},
doi = {10.4230/LIPIcs.CALCO.2019.4},
annote = {Keywords: Coinduction, Automata, Coalgebra, Formal proofs}
}
@InProceedings{ciancia_et_al:LIPIcs.CALCO.2019.5,
author = {Ciancia, Vincenzo and Venema, Yde},
title = {{Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {5:1--5:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.5},
URN = {urn:nbn:de:0030-drops-114338},
doi = {10.4230/LIPIcs.CALCO.2019.5},
annote = {Keywords: omega-automata, regular omega-languages, coalgebra, streams, bisimilarity}
}
@InProceedings{vanheerdt_et_al:LIPIcs.CALCO.2019.6,
author = {van Heerdt, Gerco and Kapp\'{e}, Tobias and Rot, Jurriaan and Sammartino, Matteo and Silva, Alexandra},
title = {{Tree Automata as Algebras: Minimisation and Determinisation}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {6:1--6:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.6},
URN = {urn:nbn:de:0030-drops-114341},
doi = {10.4230/LIPIcs.CALCO.2019.6},
annote = {Keywords: tree automata, algebras, minimisation, determinisation, Nerode equivalence}
}
@InProceedings{bezhanishvili_et_al:LIPIcs.CALCO.2019.7,
author = {Bezhanishvili, Nick and de Groot, Jim and Venema, Yde},
title = {{Coalgebraic Geometric Logic}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {7:1--7:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.7},
URN = {urn:nbn:de:0030-drops-114354},
doi = {10.4230/LIPIcs.CALCO.2019.7},
annote = {Keywords: Coalgebra, Geometric Logic, Modal Logic, Topology}
}
@InProceedings{basold:LIPIcs.CALCO.2019.8,
author = {Basold, Henning},
title = {{Coinduction in Flow: The Later Modality in Fibrations}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {8:1--8:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.8},
URN = {urn:nbn:de:0030-drops-114369},
doi = {10.4230/LIPIcs.CALCO.2019.8},
annote = {Keywords: Coinduction, Fibrations, Later Modality, Recursive Proofs, Up-to techniques, Probabilistic Logic, Probabilistic Programming}
}
@InProceedings{devisme_et_al:LIPIcs.CALCO.2019.9,
author = {de Visme, Marc and Winskel, Glynn},
title = {{Causal Unfoldings}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {9:1--9:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.9},
URN = {urn:nbn:de:0030-drops-114376},
doi = {10.4230/LIPIcs.CALCO.2019.9},
annote = {Keywords: Event Structures, Parallel Causes, Causal Unfolding, Probability}
}
@InProceedings{gu_et_al:LIPIcs.CALCO.2019.10,
author = {Gu, Tao and Zanasi, Fabio},
title = {{A Coalgebraic Perspective on Probabilistic Logic Programming}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {10:1--10:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.10},
URN = {urn:nbn:de:0030-drops-114387},
doi = {10.4230/LIPIcs.CALCO.2019.10},
annote = {Keywords: probabilistic logic programming, coalgebraic semantics, distribution semantics}
}
@InProceedings{belder_et_al:LIPIcs.CALCO.2019.11,
author = {Belder, Astrid and Luttik, Bas and Baeten, Jos},
title = {{Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {11:1--11:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.11},
URN = {urn:nbn:de:0030-drops-114390},
doi = {10.4230/LIPIcs.CALCO.2019.11},
annote = {Keywords: Sequencing, Sequential composition, Bisimilarity, Axiomatisation, Decidability}
}
@InProceedings{adamek:LIPIcs.CALCO.2019.12,
author = {Ad\'{a}mek, Ji\v{r}{\'\i}},
title = {{On Terminal Coalgebras Derived from Initial Algebras}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {12:1--12:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.12},
URN = {urn:nbn:de:0030-drops-114403},
doi = {10.4230/LIPIcs.CALCO.2019.12},
annote = {Keywords: terminal coalgebras, initial algebras, algebraically complete category, finitary functor, fixed points of functors}
}
@InProceedings{levy_et_al:LIPIcs.CALCO.2019.13,
author = {Levy, Paul Blain and Goncharov, Sergey},
title = {{Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.13},
URN = {urn:nbn:de:0030-drops-114414},
doi = {10.4230/LIPIcs.CALCO.2019.13},
annote = {Keywords: Guarded iteration, guarded monads, coalgebraic resumptions}
}
@InProceedings{ahman_et_al:LIPIcs.CALCO.2019.14,
author = {Ahman, Danel and Uustalu, Tarmo},
title = {{Decomposing Comonad Morphisms}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {14:1--14:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.14},
URN = {urn:nbn:de:0030-drops-114427},
doi = {10.4230/LIPIcs.CALCO.2019.14},
annote = {Keywords: container functors (polynomial functors), container comonads, comonad morphisms and comonad coalgebras, cofunctors, lenses}
}
@InProceedings{bonchi_et_al:LIPIcs.CALCO.2019.15,
author = {Bonchi, Filippo and Seeber, Jens and Soboci\'{n}ski, Pawe{\l}},
title = {{The Axiom of Choice in Cartesian Bicategories}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {15:1--15:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.15},
URN = {urn:nbn:de:0030-drops-114439},
doi = {10.4230/LIPIcs.CALCO.2019.15},
annote = {Keywords: Cartesian bicategories, Axiom of choice, string diagrams}
}
@InProceedings{campbell_et_al:LIPIcs.CALCO.2019.16,
author = {Campbell, Graham and Courtehoute, Brian and Plump, Detlef},
title = {{Linear-Time Graph Algorithms in GP 2}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {16:1--16:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.16},
URN = {urn:nbn:de:0030-drops-114440},
doi = {10.4230/LIPIcs.CALCO.2019.16},
annote = {Keywords: Graph transformation, rooted graph programs, GP 2, linear-time algorithms, depth-first search, topological sorting}
}
@InProceedings{codescu:LIPIcs.CALCO.2019.17,
author = {Codescu, Mihai},
title = {{Hybridisation of Institutions in HETS}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {17:1--17:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.17},
URN = {urn:nbn:de:0030-drops-114451},
doi = {10.4230/LIPIcs.CALCO.2019.17},
annote = {Keywords: hybrid logics, formal verification, institutions, reconfigurable systems}
}
@InProceedings{balco_et_al:LIPIcs.CALCO.2019.18,
author = {Balco, Samuel and Kurz, Alexander},
title = {{Nominal String Diagrams}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {18:1--18:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.18},
URN = {urn:nbn:de:0030-drops-114466},
doi = {10.4230/LIPIcs.CALCO.2019.18},
annote = {Keywords: string diagrams, nominal sets, separated product, simultaneous substitutions, internal category, monoidal category, internal monoidal categories, PROP}
}
@InProceedings{gogioso:LIPIcs.CALCO.2019.19,
author = {Gogioso, Stefano},
title = {{A Diagrammatic Approach to Quantum Dynamics}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {19:1--19:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.19},
URN = {urn:nbn:de:0030-drops-114472},
doi = {10.4230/LIPIcs.CALCO.2019.19},
annote = {Keywords: Quantum dynamics, String diagrams, Categorical algebra}
}
@InProceedings{sobocinski_et_al:LIPIcs.CALCO.2019.20,
author = {Soboci\'{n}ski, Pawe{\l} and Wilson, Paul W. and Zanasi, Fabio},
title = {{CARTOGRAPHER: A Tool for String Diagrammatic Reasoning}},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
pages = {20:1--20:7},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-120-7},
ISSN = {1868-8969},
year = {2019},
volume = {139},
editor = {Roggenbach, Markus and Sokolova, Ana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.20},
URN = {urn:nbn:de:0030-drops-114482},
doi = {10.4230/LIPIcs.CALCO.2019.20},
annote = {Keywords: tool, string diagram, symmetric monoidal category, graphical reasoning}
}
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
Feedback for Dagstuhl Publishing