Search dblp for Publications

export results for "toc:db/conf/csl/csl2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/csl/AhrensLV17,
  author       = {Benedikt Ahrens and
                  Peter LeFanu Lumsdaine and
                  Vladimir Voevodsky},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Categorical Structures for Type Theory in Univalent Foundations},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {8:1--8:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.8},
  doi          = {10.4230/LIPICS.CSL.2017.8},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/AhrensLV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/AngluinAF17,
  author       = {Dana Angluin and
                  Timos Antonopoulos and
                  Dana Fisman},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Query Learning of Derived Omega-Tree Languages in Polynomial Time},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {10:1--10:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.10},
  doi          = {10.4230/LIPICS.CSL.2017.10},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/AngluinAF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BednarczykCK17,
  author       = {Bartosz Bednarczyk and
                  Witold Charatonik and
                  Emanuel Kieronski},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Extending Two-Variable Logic on Trees},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {11:1--11:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.11},
  doi          = {10.4230/LIPICS.CSL.2017.11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BednarczykCK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Boker17,
  author       = {Udi Boker},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {On the (In)Succinctness of Muller Automata},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {12:1--12:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.12},
  doi          = {10.4230/LIPICS.CSL.2017.12},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Boker17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BorlidoCGK17,
  author       = {C{\'{e}}lia Borlido and
                  Silke Czarnetzki and
                  Mai Gehrke and
                  Andreas Krebs},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Stone Duality and the Substitution Principle},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {13:1--13:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.13},
  doi          = {10.4230/LIPICS.CSL.2017.13},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/BorlidoCGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Boudou17,
  author       = {Joseph Boudou},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Decidable Logics with Associative Binary Modalities},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {15:1--15:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.15},
  doi          = {10.4230/LIPICS.CSL.2017.15},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Boudou17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BoudouDF17,
  author       = {Joseph Boudou and
                  Mart{\'{\i}}n Di{\'{e}}guez and
                  David Fern{\'{a}}ndez{-}Duque},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {A Decidable Intuitionistic Temporal Logic},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {14:1--14:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.14},
  doi          = {10.4230/LIPICS.CSL.2017.14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/BoudouDF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BrechtP17,
  author       = {Matthew de Brecht and
                  Arno Pauly},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Noetherian Quasi-Polish spaces},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {16:1--16:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.16},
  doi          = {10.4230/LIPICS.CSL.2017.16},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/BrechtP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BresolinMS17,
  author       = {Davide Bresolin and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Guido Sciavicco},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Fast(er) Reasoning in Interval Temporal Logic},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {17:1--17:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.17},
  doi          = {10.4230/LIPICS.CSL.2017.17},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/BresolinMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/CartonFL17,
  author       = {Olivier Carton and
                  Olivier Finkel and
                  Dominique Lecomte},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Polishness of Some Topologies Related to Automata},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {22:1--22:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.22},
  doi          = {10.4230/LIPICS.CSL.2017.22},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/CartonFL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ChatterjeeDHL17,
  author       = {Krishnendu Chatterjee and
                  Wolfgang Dvor{\'{a}}k and
                  Monika Henzinger and
                  Veronika Loitzenbauer},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Improved Set-Based Symbolic Algorithms for Parity Games},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {18:1--18:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.18},
  doi          = {10.4230/LIPICS.CSL.2017.18},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/ChatterjeeDHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ChenFH17,
  author       = {Yijia Chen and
                  J{\"{o}}rg Flum and
                  Xuangui Huang},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Slicewise Definability in First-Order Logic with Bounded Quantifier
                  Rank},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {19:1--19:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.19},
  doi          = {10.4230/LIPICS.CSL.2017.19},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/ChenFH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/CockettL17,
  author       = {J. Robin B. Cockett and
                  Jean{-}Simon Lemay},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Integral Categories and Calculus Categories},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {20:1--20:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.20},
  doi          = {10.4230/LIPICS.CSL.2017.20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/CockettL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/DawarL17,
  author       = {Anuj Dawar and
                  Daniel Leivant},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {The Ackermann Award 2017},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {1:1--1:4},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.1},
  doi          = {10.4230/LIPICS.CSL.2017.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/DawarL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/EscardoK17,
  author       = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
                  Cory M. Knapp},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Partial Elements and Recursion via Dominances in Univalent Type Theory},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {21:1--21:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.21},
  doi          = {10.4230/LIPICS.CSL.2017.21},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/EscardoK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/FokkinkG17,
  author       = {Wan J. Fokkink and
                  Rob J. van Glabbeek},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Precongruence Formats with Lookahead through Modal Decomposition},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {25:1--25:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.25},
  doi          = {10.4230/LIPICS.CSL.2017.25},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/FokkinkG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GerardM17,
  author       = {Ulysse G{\'{e}}rard and
                  Dale Miller},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Separating Functional Computation from Relations},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {23:1--23:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.23},
  doi          = {10.4230/LIPICS.CSL.2017.23},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GerardM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GhicaJL17,
  author       = {Dan R. Ghica and
                  Achim Jung and
                  Aliaume Lopez},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Diagrammatic Semantics for Digital Circuits},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {24:1--24:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.24},
  doi          = {10.4230/LIPICS.CSL.2017.24},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/GhicaJL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GouveiaS17,
  author       = {Maria Jo{\~{a}}o Gouveia and
                  Luigi Santocanale},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Aleph1 and the Modal mu-Calculus},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {38:1--38:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.38},
  doi          = {10.4230/LIPICS.CSL.2017.38},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GouveiaS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GradelPP17,
  author       = {Erich Gr{\"{a}}del and
                  Benedikt Pago and
                  Wied Pakusa},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {The Model-Theoretic Expressiveness of Propositional Proof Systems},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {27:1--27:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.27},
  doi          = {10.4230/LIPICS.CSL.2017.27},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GradelPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Grussien17,
  author       = {Berit Gru{\ss}ien},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free
                  Graphs},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {26:1--26:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.26},
  doi          = {10.4230/LIPICS.CSL.2017.26},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Grussien17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Hannula17,
  author       = {Miika Hannula},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Validity and Entailment in Modal and Propositional Dependence Logics},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {28:1--28:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.28},
  doi          = {10.4230/LIPICS.CSL.2017.28},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/Hannula17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/HeerdtS017,
  author       = {Gerco van Heerdt and
                  Matteo Sammartino and
                  Alexandra Silva},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {{CALF:} Categorical Automata Learning Framework},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {29:1--29:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.29},
  doi          = {10.4230/LIPICS.CSL.2017.29},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/HeerdtS017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/HorcikMV17,
  author       = {Rostislav Horc{\'{\i}}k and
                  Tommaso Moraschini and
                  Amanda Vidal},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {An Algebraic Approach to Valued Constraint Satisfaction},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {42:1--42:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.42},
  doi          = {10.4230/LIPICS.CSL.2017.42},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/HorcikMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/KlinL17,
  author       = {Bartek Klin and
                  Mateusz Lelyk},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Modal mu-Calculus with Atoms},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {30:1--30:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.30},
  doi          = {10.4230/LIPICS.CSL.2017.30},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/KlinL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kolaitis17,
  author       = {Phokion G. Kolaitis},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Schema Mappings: Structural Properties and Limits (Invited Talk)},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {2:1--2:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.2},
  doi          = {10.4230/LIPICS.CSL.2017.2},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kolaitis17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kovacs17,
  author       = {Laura Kov{\'{a}}cs},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {First-Order Interpolation and Grey Areas of Proofs (Invited Talk)},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {3:1--3:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.3},
  doi          = {10.4230/LIPICS.CSL.2017.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kovacs17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kreutzer17,
  author       = {Stephan Kreutzer},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Current Trends and New Perspectives for First-Order Model Checking
                  (Invited Talk)},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {4:1--4:5},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.4},
  doi          = {10.4230/LIPICS.CSL.2017.4},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kreutzer17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Luck17,
  author       = {Martin L{\"{u}}ck},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {The Power of the Filtration Technique for Modal Logics with Team Semantics},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {31:1--31:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.31},
  doi          = {10.4230/LIPICS.CSL.2017.31},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Luck17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Mahajan17,
  author       = {Meena Mahajan},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Arithmetic Circuits: An Overview (Invited Talk)},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {5:1--5:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.5},
  doi          = {10.4230/LIPICS.CSL.2017.5},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Mahajan17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/MuroyaG17,
  author       = {Koko Muroya and
                  Dan R. Ghica},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {The Dynamic Geometry of Interaction Machine: {A} Call-by-Need Graph
                  Rewriter},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {32:1--32:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.32},
  doi          = {10.4230/LIPICS.CSL.2017.32},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/MuroyaG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Oliveira17,
  author       = {Mateus de Oliveira Oliveira},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {On Supergraphs Satisfying {CMSO} Properties},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {33:1--33:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.33},
  doi          = {10.4230/LIPICS.CSL.2017.33},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Oliveira17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Pavaux17,
  author       = {Alice Pavaux},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Inductive and Functional Types in Ludics},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {34:1--34:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.34},
  doi          = {10.4230/LIPICS.CSL.2017.34},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Pavaux17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/RicciottiC17,
  author       = {Wilmer Ricciotti and
                  James Cheney},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Strongly Normalizing Audited Computation},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {36:1--36:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.36},
  doi          = {10.4230/LIPICS.CSL.2017.36},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/RicciottiC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Sankaran17,
  author       = {Abhisekh Sankaran},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {A Finitary Analogue of the Downward L{\"{o}}wenheim-Skolem Property},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {37:1--37:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.37},
  doi          = {10.4230/LIPICS.CSL.2017.37},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Sankaran17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Thomas17,
  author       = {Wolfgang Thomas},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Determinacy of Infinite Games: Perspectives of the Algorithmic Approach
                  (Invited Talk)},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {6:1--6:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.6},
  doi          = {10.4230/LIPICS.CSL.2017.6},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Thomas17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/TubellaGR17,
  author       = {Andrea Aler Tubella and
                  Alessio Guglielmi and
                  Benjamin Ralph},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Removing Cycles from Proofs},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {9:1--9:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.9},
  doi          = {10.4230/LIPICS.CSL.2017.9},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/TubellaGR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Vaux17,
  author       = {Lionel Vaux},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Taylor Expansion, lambda-Reduction and Normalization},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {39:1--39:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.39},
  doi          = {10.4230/LIPICS.CSL.2017.39},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Vaux17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Veanes17,
  author       = {Margus Veanes},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Symbolic Automata Theory with Applications (Invited Talk)},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {7:1--7:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.7},
  doi          = {10.4230/LIPICS.CSL.2017.7},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Veanes17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/VerbitskyZ17,
  author       = {Oleg Verbitsky and
                  Maksim Zhukovskii},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {On the First-Order Complexity of Induced Subgraph Isomorphism},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {40:1--40:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.40},
  doi          = {10.4230/LIPICS.CSL.2017.40},
  timestamp    = {Thu, 04 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/VerbitskyZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/VismeW17,
  author       = {Marc de Visme and
                  Glynn Winskel},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Strategies with Parallel Causes},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {41:1--41:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.41},
  doi          = {10.4230/LIPICS.CSL.2017.41},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/VismeW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/X17,
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization,
                  External Reviewers},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {0:i--0:xviii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.0},
  doi          = {10.4230/LIPICS.CSL.2017.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/X17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ZaidGR17,
  author       = {Faried Abu Zaid and
                  Erich Gr{\"{a}}del and
                  Frederic Reinhardt},
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {Advice Automatic Structures and Uniformly Automatic Classes},
  booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  pages        = {35:1--35:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2017.35},
  doi          = {10.4230/LIPICS.CSL.2017.35},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/ZaidGR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/csl/2017,
  editor       = {Valentin Goranko and
                  Mads Dam},
  title        = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
                  August 20-24, 2017, Stockholm, Sweden},
  series       = {LIPIcs},
  volume       = {82},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-045-3},
  isbn         = {978-3-95977-045-3},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/2017.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.