@Proceedings{gadducci_et_al:LIPIcs.CALCO.2021,
title = {{LIPIcs, Volume 211, CALCO 2021, Complete Volume}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {1--384},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021},
URN = {urn:nbn:de:0030-drops-153544},
doi = {10.4230/LIPIcs.CALCO.2021},
annote = {Keywords: LIPIcs, Volume 211, CALCO 2021, Complete Volume}
}
@InProceedings{gadducci_et_al:LIPIcs.CALCO.2021.0,
author = {Gadducci, Fabio and Silva, Alexandra},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {0:i--0:x},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.0},
URN = {urn:nbn:de:0030-drops-153559},
doi = {10.4230/LIPIcs.CALCO.2021.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{cheng:LIPIcs.CALCO.2021.1,
author = {Cheng, Eugenia},
title = {{Distributive Laws for Lawvere Theories}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.1},
URN = {urn:nbn:de:0030-drops-153560},
doi = {10.4230/LIPIcs.CALCO.2021.1},
annote = {Keywords: Distributive laws, Monads, Lawvere theories}
}
@InProceedings{giese:LIPIcs.CALCO.2021.2,
author = {Giese, Holger},
title = {{Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.2},
URN = {urn:nbn:de:0030-drops-153573},
doi = {10.4230/LIPIcs.CALCO.2021.2},
annote = {Keywords: Cyber-physical systems, Graph transformation}
}
@InProceedings{depaiva:LIPIcs.CALCO.2021.3,
author = {de Paiva, Valeria},
title = {{Dialectica Comonads}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {3:1--3:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.3},
URN = {urn:nbn:de:0030-drops-153581},
doi = {10.4230/LIPIcs.CALCO.2021.3},
annote = {Keywords: Dialectica categories, Linear logic, Comonads}
}
@InProceedings{vafeiadis:LIPIcs.CALCO.2021.4,
author = {Vafeiadis, Viktor},
title = {{The Challenges of Weak Persistency}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {4:1--4:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.4},
URN = {urn:nbn:de:0030-drops-153593},
doi = {10.4230/LIPIcs.CALCO.2021.4},
annote = {Keywords: Weak Persistency, Non-Volatile Memory}
}
@InProceedings{adamek_et_al:LIPIcs.CALCO.2021.5,
author = {Ad\'{a}mek, Ji\v{r}{\'\i} and Milius, Stefan and Moss, Lawrence S.},
title = {{Initial Algebras Without Iteration}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {5:1--5:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.5},
URN = {urn:nbn:de:0030-drops-153606},
doi = {10.4230/LIPIcs.CALCO.2021.5},
annote = {Keywords: Initial algebra, Pataraia’s theorem, recursive coalgebra, initial-algebra chain}
}
@InProceedings{adamek_et_al:LIPIcs.CALCO.2021.6,
author = {Ad\'{a}mek, Ji\v{r}{\'\i} and Rosick\'{y}, Ji\v{r}{\'\i}},
title = {{Which Categories Are Varieties?}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {6:1--6:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.6},
URN = {urn:nbn:de:0030-drops-153610},
doi = {10.4230/LIPIcs.CALCO.2021.6},
annote = {Keywords: variety, many-sorted algebra, abstractly finite object, effective object, strong generator}
}
@InProceedings{bacci_et_al:LIPIcs.CALCO.2021.7,
author = {Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon},
title = {{Tensor of Quantitative Equational Theories}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {7:1--7:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.7},
URN = {urn:nbn:de:0030-drops-153628},
doi = {10.4230/LIPIcs.CALCO.2021.7},
annote = {Keywords: Quantitative equational theories, Tensor, Monads, Quantitative Effects}
}
@InProceedings{baeten_et_al:LIPIcs.CALCO.2021.8,
author = {Baeten, Jos C. M. and Carissimo, Cesare and Luttik, Bas},
title = {{Pushdown Automata and Context-Free Grammars in Bisimulation Semantics}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {8:1--8:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.8},
URN = {urn:nbn:de:0030-drops-153632},
doi = {10.4230/LIPIcs.CALCO.2021.8},
annote = {Keywords: pushdown automaton, context-free grammar, bisimilarity, intermediate acceptance, state awareness}
}
@InProceedings{bonchi_et_al:LIPIcs.CALCO.2021.9,
author = {Bonchi, Filippo and Di Giorgio, Alessandro and Zanasi, Fabio},
title = {{From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {9:1--9:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.9},
URN = {urn:nbn:de:0030-drops-153643},
doi = {10.4230/LIPIcs.CALCO.2021.9},
annote = {Keywords: String diagrams, Farkas Lemma, Duality, Linear Programming}
}
@InProceedings{bonchi_et_al:LIPIcs.CALCO.2021.10,
author = {Bonchi, Filippo and Santamaria, Alessio and Seeber, Jens and Soboci\'{n}ski, Pawe{\l}},
title = {{On Doctrines and Cartesian Bicategories}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {10:1--10:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.10},
URN = {urn:nbn:de:0030-drops-153656},
doi = {10.4230/LIPIcs.CALCO.2021.10},
annote = {Keywords: Cartesian bicategories, elementary existential doctrines, string diagram}
}
@InProceedings{bonchi_et_al:LIPIcs.CALCO.2021.11,
author = {Bonchi, Filippo and Sokolova, Ana and Vignudelli, Valeria},
title = {{Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {11:1--11:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.11},
URN = {urn:nbn:de:0030-drops-153666},
doi = {10.4230/LIPIcs.CALCO.2021.11},
annote = {Keywords: Convex sets of distributions monad, Convex semilattices, Unique base}
}
@InProceedings{castelnovo_et_al:LIPIcs.CALCO.2021.12,
author = {Castelnovo, Davide and Miculan, Marino},
title = {{Closure Hyperdoctrines}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {12:1--12:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.12},
URN = {urn:nbn:de:0030-drops-153678},
doi = {10.4230/LIPIcs.CALCO.2021.12},
annote = {Keywords: categorical logic, topological semantics, closure operators, spatial logic}
}
@InProceedings{dahlqvist_et_al:LIPIcs.CALCO.2021.13,
author = {Dahlqvist, Fredrik and Schmid, Todd},
title = {{How to Write a Coequation}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {13:1--13:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.13},
URN = {urn:nbn:de:0030-drops-153686},
doi = {10.4230/LIPIcs.CALCO.2021.13},
annote = {Keywords: Coalgebra, coequation, covariety}
}
@InProceedings{ford_et_al:LIPIcs.CALCO.2021.14,
author = {Ford, Chase and Milius, Stefan and Schr\"{o}der, Lutz},
title = {{Monads on Categories of Relational Structures}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {14:1--14:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.14},
URN = {urn:nbn:de:0030-drops-153697},
doi = {10.4230/LIPIcs.CALCO.2021.14},
annote = {Keywords: monads, relational structures, Horn theories, relational logic}
}
@InProceedings{garner:LIPIcs.CALCO.2021.15,
author = {Garner, Richard},
title = {{Stream Processors and Comodels}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {15:1--15:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.15},
URN = {urn:nbn:de:0030-drops-153700},
doi = {10.4230/LIPIcs.CALCO.2021.15},
annote = {Keywords: Comodels, residual comodels, bimodels, streams, stream processors}
}
@InProceedings{grabmayer:LIPIcs.CALCO.2021.16,
author = {Grabmayer, Clemens},
title = {{A Coinductive Version of Milner’s Proof System for Regular Expressions Modulo Bisimilarity}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {16:1--16:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.16},
URN = {urn:nbn:de:0030-drops-153712},
doi = {10.4230/LIPIcs.CALCO.2021.16},
annote = {Keywords: regular expressions, process theory, bisimilarity, coinduction, proof theory}
}
@InProceedings{gu_et_al:LIPIcs.CALCO.2021.17,
author = {Gu, Tao and Zanasi, Fabio},
title = {{Functorial Semantics as a Unifying Perspective on Logic Programming}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {17:1--17:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.17},
URN = {urn:nbn:de:0030-drops-153723},
doi = {10.4230/LIPIcs.CALCO.2021.17},
annote = {Keywords: string diagrams, functorial semantics, logic programming}
}
@InProceedings{jia_et_al:LIPIcs.CALCO.2021.18,
author = {Jia, Xiaodong and Mislove, Michael and Zamdzhiev, Vladimir},
title = {{The Central Valuations Monad}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {18:1--18:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.18},
URN = {urn:nbn:de:0030-drops-153733},
doi = {10.4230/LIPIcs.CALCO.2021.18},
annote = {Keywords: Valuations, Commutative Monad, DCPO, Probabilistic Choice, Recursion}
}
@InProceedings{lemay:LIPIcs.CALCO.2021.19,
author = {Lemay, Jean-Simon Pacaud},
title = {{Coderelictions for Free Exponential Modalities}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {19:1--19:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.19},
URN = {urn:nbn:de:0030-drops-153742},
doi = {10.4230/LIPIcs.CALCO.2021.19},
annote = {Keywords: Differential Categories, Coderelictions, Differential Linear Logic, Free Exponential Modalities, Lafont Categories, Infinitesimal Augmentations}
}
@InProceedings{master:LIPIcs.CALCO.2021.20,
author = {Master, Jade},
title = {{The Open Algebraic Path Problem}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {20:1--20:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.20},
URN = {urn:nbn:de:0030-drops-153754},
doi = {10.4230/LIPIcs.CALCO.2021.20},
annote = {Keywords: The Algebraic Path Problem, Open Systems, Shortest Paths, Categorical Semantics, Compositionality}
}
@InProceedings{muroya_et_al:LIPIcs.CALCO.2021.21,
author = {Muroya, Koko and Sanada, Takahiro and Urabe, Natsuki},
title = {{Preorder-Constrained Simulation for Nondeterministic Automata}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {21:1--21:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.21},
URN = {urn:nbn:de:0030-drops-153762},
doi = {10.4230/LIPIcs.CALCO.2021.21},
annote = {Keywords: simulation, weak simulation, up-to technique, language inclusion, preorder}
}
@InProceedings{nakov_et_al:LIPIcs.CALCO.2021.22,
author = {Nakov, Georgi and Nordvall Forsberg, Fredrik},
title = {{Quantitative Polynomial Functors}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {22:1--22:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.22},
URN = {urn:nbn:de:0030-drops-153774},
doi = {10.4230/LIPIcs.CALCO.2021.22},
annote = {Keywords: quantitative type theory, polynomial functors, inductive data types}
}
@InProceedings{sokolova_et_al:LIPIcs.CALCO.2021.23,
author = {Sokolova, Ana and Woracek, Harald},
title = {{Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {23:1--23:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.23},
URN = {urn:nbn:de:0030-drops-153781},
doi = {10.4230/LIPIcs.CALCO.2021.23},
annote = {Keywords: countable splitting lemma, distributions with given marginals, couplings}
}
@InProceedings{wimann:LIPIcs.CALCO.2021.24,
author = {Wi{\ss}mann, Thorsten},
title = {{Minimality Notions via Factorization Systems}},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
pages = {24:1--24:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-212-9},
ISSN = {1868-8969},
year = {2021},
volume = {211},
editor = {Gadducci, Fabio and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.24},
URN = {urn:nbn:de:0030-drops-153791},
doi = {10.4230/LIPIcs.CALCO.2021.24},
annote = {Keywords: Coalgebra, Reachability, Observability, Minimization, Factorization System}
}
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