Search dblp for Publications

export results for "toc:db/conf/calco/calco2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/calco/AdamekMM21,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Lawrence S. Moss},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Initial Algebras Without Iteration ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {5:1--5:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.5},
  doi          = {10.4230/LIPICS.CALCO.2021.5},
  timestamp    = {Mon, 08 Nov 2021 14:07:50 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/AdamekMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/AdamekR21,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Jir{\'{\i}} Rosick{\'{y}}},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Which Categories Are Varieties? ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {6:1--6:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.6},
  doi          = {10.4230/LIPICS.CALCO.2021.6},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/AdamekR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/BacciMPP21,
  author       = {Giorgio Bacci and
                  Radu Mardare and
                  Prakash Panangaden and
                  Gordon D. Plotkin},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Tensor of Quantitative Equational Theories},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {7:1--7:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.7},
  doi          = {10.4230/LIPICS.CALCO.2021.7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/BacciMPP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/BaetenCL21,
  author       = {Jos C. M. Baeten and
                  Cesare Carissimo and
                  Bas Luttik},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Pushdown Automata and Context-Free Grammars in Bisimulation Semantics},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {8:1--8:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.8},
  doi          = {10.4230/LIPICS.CALCO.2021.8},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/BaetenCL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Bonchi0Z21,
  author       = {Filippo Bonchi and
                  Alessandro Di Giorgio and
                  Fabio Zanasi},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic
                  Algebra ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {9:1--9:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.9},
  doi          = {10.4230/LIPICS.CALCO.2021.9},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Bonchi0Z21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/BonchiSS021,
  author       = {Filippo Bonchi and
                  Alessio Santamaria and
                  Jens Seeber and
                  Pawel Sobocinski},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {On Doctrines and Cartesian Bicategories},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {10:1--10:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.10},
  doi          = {10.4230/LIPICS.CALCO.2021.10},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/BonchiSS021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/BonchiSV21,
  author       = {Filippo Bonchi and
                  Ana Sokolova and
                  Valeria Vignudelli},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Presenting Convex Sets of Probability Distributions by Convex Semilattices
                  and Unique Bases ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {11:1--11:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.11},
  doi          = {10.4230/LIPICS.CALCO.2021.11},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/BonchiSV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/CastelnovoM21,
  author       = {Davide Castelnovo and
                  Marino Miculan},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Closure Hyperdoctrines},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {12:1--12:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.12},
  doi          = {10.4230/LIPICS.CALCO.2021.12},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/CastelnovoM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Cheng21,
  author       = {Eugenia Cheng},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Distributive Laws for Lawvere Theories (Invited Talk)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {1:1--1:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.1},
  doi          = {10.4230/LIPICS.CALCO.2021.1},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Cheng21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/DahlqvistS21,
  author       = {Fredrik Dahlqvist and
                  Todd Schmid},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {How to Write a Coequation ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {13:1--13:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.13},
  doi          = {10.4230/LIPICS.CALCO.2021.13},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/DahlqvistS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/FordMS21,
  author       = {Chase Ford and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Monads on Categories of Relational Structures},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {14:1--14:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.14},
  doi          = {10.4230/LIPICS.CALCO.2021.14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/FordMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Garner21,
  author       = {Richard Garner},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Stream Processors and Comodels},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.15},
  doi          = {10.4230/LIPICS.CALCO.2021.15},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Garner21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Giese21,
  author       = {Holger Giese},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Towards Engineering Smart Cyber-Physical Systems with Graph Transformation
                  Systems (Invited Talk)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {2:1--2:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.2},
  doi          = {10.4230/LIPICS.CALCO.2021.2},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Giese21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Grabmayer21,
  author       = {Clemens Grabmayer},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  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, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {16:1--16:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.16},
  doi          = {10.4230/LIPICS.CALCO.2021.16},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Grabmayer21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/GuZ21,
  author       = {Tao Gu and
                  Fabio Zanasi},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Functorial Semantics as a Unifying Perspective on Logic Programming},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {17:1--17:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.17},
  doi          = {10.4230/LIPICS.CALCO.2021.17},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/GuZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/JiaMZ21,
  author       = {Xiaodong Jia and
                  Michael W. Mislove and
                  Vladimir Zamdzhiev},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {The Central Valuations Monad (Early Ideas)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {18:1--18:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.18},
  doi          = {10.4230/LIPICS.CALCO.2021.18},
  timestamp    = {Fri, 28 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/JiaMZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Lemay21,
  author       = {Jean{-}Simon Pacaud Lemay},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Coderelictions for Free Exponential Modalities},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {19:1--19:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.19},
  doi          = {10.4230/LIPICS.CALCO.2021.19},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Lemay21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Master21,
  author       = {Jade Master},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {The Open Algebraic Path Problem},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {20:1--20:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.20},
  doi          = {10.4230/LIPICS.CALCO.2021.20},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Master21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/MuroyaSU21,
  author       = {Koko Muroya and
                  Takahiro Sanada and
                  Natsuki Urabe},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Preorder-Constrained Simulation for Nondeterministic Automata (Early
                  Ideas)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {21:1--21:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.21},
  doi          = {10.4230/LIPICS.CALCO.2021.21},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/MuroyaSU21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/NakovF21,
  author       = {Georgi Nakov and
                  Fredrik Nordvall Forsberg},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Quantitative Polynomial Functors (Early Ideas)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {22:1--22:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.22},
  doi          = {10.4230/LIPICS.CALCO.2021.22},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/NakovF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Paiva21,
  author       = {Valeria de Paiva},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Dialectica Comonads (Invited Talk)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {3:1--3:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.3},
  doi          = {10.4230/LIPICS.CALCO.2021.3},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Paiva21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/SokolovaW21,
  author       = {Ana Sokolova and
                  Harald Woracek},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
                  ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {23:1--23:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.23},
  doi          = {10.4230/LIPICS.CALCO.2021.23},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/SokolovaW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Vafeiadis21,
  author       = {Viktor Vafeiadis},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {The Challenges of Weak Persistency (Invited Talk)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {4:1--4:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.4},
  doi          = {10.4230/LIPICS.CALCO.2021.4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/Vafeiadis21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/Wissmann21,
  author       = {Thorsten Wi{\ss}mann},
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Minimality Notions via Factorization Systems ((Co)algebraic pearls)},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {24:1--24:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.24},
  doi          = {10.4230/LIPICS.CALCO.2021.24},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/Wissmann21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/X21,
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  pages        = {0:1--0:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2021.0},
  doi          = {10.4230/LIPICS.CALCO.2021.0},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/X21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/calco/2021,
  editor       = {Fabio Gadducci and
                  Alexandra Silva},
  title        = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2021, August 31 to September 3, 2021, Salzburg, Austria},
  series       = {LIPIcs},
  volume       = {211},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-212-9},
  isbn         = {978-3-95977-212-9},
  timestamp    = {Mon, 08 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.