Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/calco/calco2015.bht:"
@inproceedings{DBLP:conf/calco/AdamekMU15, author = {Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius and Henning Urbat}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Syntactic Monoids in a Category}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {1--16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.1}, doi = {10.4230/LIPICS.CALCO.2015.1}, timestamp = {Tue, 21 Apr 2020 10:56:16 +0200}, biburl = {https://dblp.org/rec/conf/calco/AdamekMU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/BalanKV15, author = {Adriana Balan and Alexander Kurz and Jir{\'{\i}} Velebil}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Extensions of Functors From Set to V-cat}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {17--34}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.17}, doi = {10.4230/LIPICS.CALCO.2015.17}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/BalanKV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/BaldanBK015, author = {Paolo Baldan and Filippo Bonchi and Henning Kerstan and Barbara K{\"{o}}nig}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Towards Trace Metrics via Functor Lifting}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {35--49}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.35}, doi = {10.4230/LIPICS.CALCO.2015.35}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/BaldanBK015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/ChenU15, author = {Liang{-}Ting Chen and Henning Urbat}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {A Fibrational Approach to Automata Theory}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {50--65}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.50}, doi = {10.4230/LIPICS.CALCO.2015.50}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/calco/ChenU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/Cirstea15, author = {Corina C{\^{\i}}rstea}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Canonical Coalgebraic Linear Time Logics}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {66--85}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.66}, doi = {10.4230/LIPICS.CALCO.2015.66}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/Cirstea15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/EberhartHS15, author = {Clovis Eberhart and Tom Hirschowitz and Thomas Seiller}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {An Intensionally Fully-abstract Sheaf Model for pi}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {86--100}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.86}, doi = {10.4230/LIPICS.CALCO.2015.86}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/EberhartHS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/FahrenbergL15, author = {Ulrich Fahrenberg and Axel Legay}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Partial Higher-dimensional Automata}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {101--115}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.101}, doi = {10.4230/LIPICS.CALCO.2015.101}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/FahrenbergL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/Jacobs15, author = {Bart Jacobs}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {A Recipe for State-and-Effect Triangles}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {116--129}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.116}, doi = {10.4230/LIPICS.CALCO.2015.116}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/Jacobs15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KataokaP15, author = {Toshiki Kataoka and Dusko Pavlovic}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {130--155}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.130}, doi = {10.4230/LIPICS.CALCO.2015.130}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/KataokaP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KatsumataS15, author = {Shin{-}ya Katsumata and Tetsuya Sato}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Codensity Liftings of Monads}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {156--170}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.156}, doi = {10.4230/LIPICS.CALCO.2015.156}, timestamp = {Mon, 11 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/KatsumataS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KissingerQ15, author = {Aleks Kissinger and David Quick}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {A First-order Logic for String Diagrams}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {171--189}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.171}, doi = {10.4230/LIPICS.CALCO.2015.171}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/KissingerQ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KlinN15, author = {Bartek Klin and Beata Nachyla}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Presenting Morphisms of Distributive Laws}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {190--204}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.190}, doi = {10.4230/LIPICS.CALCO.2015.190}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/KlinN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KurzPPSV15, author = {Alexander Kurz and Alberto Pardo and Daniela Petrisan and Paula Severi and Fer{-}Jan de Vries}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Approximation of Nested Fixpoints - {A} Coalgebraic View of Parametric Dataypes}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {205--220}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.205}, doi = {10.4230/LIPICS.CALCO.2015.205}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/calco/KurzPPSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/Levy15, author = {Paul Blain Levy}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Final Coalgebras from Corecursive Algebras}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {221--237}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.221}, doi = {10.4230/LIPICS.CALCO.2015.221}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/Levy15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/MartiSV15, author = {Johannes Marti and Fatemeh Seifan and Yde Venema}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Uniform Interpolation for Coalgebraic Fixpoint Logic}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {238--252}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.238}, doi = {10.4230/LIPICS.CALCO.2015.238}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/MartiSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/MiliusPS15, author = {Stefan Milius and Dirk Pattinson and Lutz Schr{\"{o}}der}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Generic Trace Semantics and Graded Monads}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {253--269}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.253}, doi = {10.4230/LIPICS.CALCO.2015.253}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/MiliusPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/MiliusW15, author = {Stefan Milius and Thorsten Wi{\ss}mann}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Finitary Corecursion for the Infinitary Lambda Calculus}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {336--351}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.336}, doi = {10.4230/LIPICS.CALCO.2015.336}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/MiliusW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/PiedeleuKCS15, author = {Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Open System Categorical Quantum Semantics in Natural Language Processing}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {270--289}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.270}, doi = {10.4230/LIPICS.CALCO.2015.270}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/PiedeleuKCS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/PirogWG15, author = {Maciej Pir{\'{o}}g and Nicolas Wu and Jeremy Gibbons}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Modules Over Monads and Their Algebras}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {290--303}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.290}, doi = {10.4230/LIPICS.CALCO.2015.290}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/PirogWG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/TutuF15, author = {Ionut Tutu and Jos{\'{e}} Luiz Fiadeiro}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Revisiting the Institutional Approach to Herbrand's Theorem}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {304--319}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.304}, doi = {10.4230/LIPICS.CALCO.2015.304}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/TutuF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/UrabeH15, author = {Natsuki Urabe and Ichiro Hasuo}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Coalgebraic Infinite Traces and Kleisli Simulations}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {320--335}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.320}, doi = {10.4230/LIPICS.CALCO.2015.320}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/UrabeH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/X15, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Front Matter, Table of Contents, Preface, List of Authors}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {i--xii}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.i}, doi = {10.4230/LIPICS.CALCO.2015.I}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/X15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/calco/2015, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {http://www.dagstuhl.de/dagpub/978-3-939897-84-2}, isbn = {978-3-939897-84-2}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.