Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/csl/AdamekMMS11,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Lawrence S. Moss and
                  Lurdes Sousa},
  editor       = {Marc Bezem},
  title        = {Power-Set Functors and Saturated Trees},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {5--19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.5},
  doi          = {10.4230/LIPICS.CSL.2011.5},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/AdamekMMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Aschieri11,
  author       = {Federico Aschieri},
  editor       = {Marc Bezem},
  title        = {Transfinite Update Procedures for Predicative Systems of Analysis},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {20--34},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.20},
  doi          = {10.4230/LIPICS.CSL.2011.20},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Aschieri11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BeauxisM11,
  author       = {Romain Beauxis and
                  Samuel Mimram},
  editor       = {Marc Bezem},
  title        = {A Non-Standard Semantics for Kahn Networks in Continuous Time},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {35--50},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.35},
  doi          = {10.4230/LIPICS.CSL.2011.35},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BeauxisM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BernadetL11,
  author       = {Alexis Bernadet and
                  St{\'{e}}phane Lengrand},
  editor       = {Marc Bezem},
  title        = {Filter Models: Non-idempotent Intersection Types, Orthogonality and
                  Polymorphism},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {51--66},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.51},
  doi          = {10.4230/LIPICS.CSL.2011.51},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BernadetL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BesC11,
  author       = {Alexis B{\`{e}}s and
                  Olivier Carton},
  editor       = {Marc Bezem},
  title        = {Algebraic Characterization of {FO} for Scattered Linear Orderings},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {67--81},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.67},
  doi          = {10.4230/LIPICS.CSL.2011.67},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BesC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BokerH11,
  author       = {Udi Boker and
                  Thomas A. Henzinger},
  editor       = {Marc Bezem},
  title        = {Determinizing Discounted-Sum Automata},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {82--96},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.82},
  doi          = {10.4230/LIPICS.CSL.2011.82},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BokerH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BucciarelliCEM11,
  author       = {Antonio Bucciarelli and
                  Alberto Carraro and
                  Thomas Ehrhard and
                  Giulio Manzonetto},
  editor       = {Marc Bezem},
  title        = {Full Abstraction for Resource Calculus with Tests},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {97--111},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.97},
  doi          = {10.4230/LIPICS.CSL.2011.97},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BucciarelliCEM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/CaiZ11,
  author       = {Yang Cai and
                  Ting Zhang},
  editor       = {Marc Bezem},
  title        = {Tight Upper Bounds for Streett and Parity Complementation},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {112--128},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.112},
  doi          = {10.4230/LIPICS.CSL.2011.112},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/CaiZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/CantoneLA11,
  author       = {Domenico Cantone and
                  Cristiano Longo and
                  Marianna Nicolosi Asmundo},
  editor       = {Marc Bezem},
  title        = {A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs
                  with Applications to Description Logics},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {129--143},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.129},
  doi          = {10.4230/LIPICS.CSL.2011.129},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/CantoneLA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/CardelliLM11,
  author       = {Luca Cardelli and
                  Kim G. Larsen and
                  Radu Mardare},
  editor       = {Marc Bezem},
  title        = {Continuous Markovian Logic - From Complete Axiomatization to the Metric
                  Space of Formulas},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {144--158},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.144},
  doi          = {10.4230/LIPICS.CSL.2011.144},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/CardelliLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ChaudhuriGS11,
  author       = {Kaustuv Chaudhuri and
                  Nicolas Guenot and
                  Lutz Stra{\ss}burger},
  editor       = {Marc Bezem},
  title        = {The Focused Calculus of Structures},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {159--173},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.159},
  doi          = {10.4230/LIPICS.CSL.2011.159},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/ChaudhuriGS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Czajka11,
  author       = {Lukasz Czajka},
  editor       = {Marc Bezem},
  title        = {A Semantic Approach to Illative Combinatory Logic},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {174--188},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.174},
  doi          = {10.4230/LIPICS.CSL.2011.174},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Czajka11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/DurandS11,
  author       = {Arnaud Durand and
                  Yann Strozecki},
  editor       = {Marc Bezem},
  title        = {Enumeration Complexity of Logical Query Problems with Second-order
                  Variables},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {189--202},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.189},
  doi          = {10.4230/LIPICS.CSL.2011.189},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/DurandS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Egri11,
  author       = {L{\'{a}}szl{\'{o}} Egri},
  editor       = {Marc Bezem},
  title        = {On Constraint Satisfaction Problems below {P}},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {203--217},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.203},
  doi          = {10.4230/LIPICS.CSL.2011.203},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Egri11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Ehrhard11,
  author       = {Thomas Ehrhard},
  editor       = {Marc Bezem},
  title        = {Resource Lambda-Calculus: the Differential Viewpoint},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.1},
  doi          = {10.4230/LIPICS.CSL.2011.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Ehrhard11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Eickmeyer11,
  author       = {Kord Eickmeyer},
  editor       = {Marc Bezem},
  title        = {Non-Definability Results for Randomised First-Order Logic},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {218--232},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.218},
  doi          = {10.4230/LIPICS.CSL.2011.218},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Eickmeyer11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/EscardoOP11,
  author       = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
                  Paulo Oliva and
                  Thomas Powell},
  editor       = {Marc Bezem},
  title        = {System {T} and the Product of Selection Functions},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {233--247},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.233},
  doi          = {10.4230/LIPICS.CSL.2011.233},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/EscardoOP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/FogartyKVW11,
  author       = {Seth Fogarty and
                  Orna Kupferman and
                  Moshe Y. Vardi and
                  Thomas Wilke},
  editor       = {Marc Bezem},
  title        = {Unifying B{\"{u}}chi Complementation Constructions},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {248--263},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.248},
  doi          = {10.4230/LIPICS.CSL.2011.248},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/FogartyKVW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/FridmanLZ11,
  author       = {Wladimir Fridman and
                  Christof L{\"{o}}ding and
                  Martin Zimmermann},
  editor       = {Marc Bezem},
  title        = {Degrees of Lookahead in Context-free Infinite Games},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {264--276},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.264},
  doi          = {10.4230/LIPICS.CSL.2011.264},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/FridmanLZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GroheGHL11,
  author       = {Martin Grohe and
                  Berit Gru{\ss}ien and
                  Andr{\'{e}} Hernich and
                  Bastian Laubner},
  editor       = {Marc Bezem},
  title        = {L-Recursion and a new Logic for Logarithmic Space},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {277--291},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.277},
  doi          = {10.4230/LIPICS.CSL.2011.277},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GroheGHL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/JeffreyR11,
  author       = {Alan Jeffrey and
                  Julian Rathke},
  editor       = {Marc Bezem},
  title        = {The Lax Braided Structure of Streaming {I/O}},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {292--306},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.292},
  doi          = {10.4230/LIPICS.CSL.2011.292},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/JeffreyR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/JenkinsORW11,
  author       = {Mark Jenkins and
                  Jo{\"{e}}l Ouaknine and
                  Alexander Rabinovich and
                  James Worrell},
  editor       = {Marc Bezem},
  title        = {The Church Synthesis Problem with Metric},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {307--321},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.307},
  doi          = {10.4230/LIPICS.CSL.2011.307},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/JenkinsORW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kartzow11,
  author       = {Alexander Kartzow},
  editor       = {Marc Bezem},
  title        = {A Pumping Lemma for Collapsible Pushdown Graphs of Level 2},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {322--336},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.322},
  doi          = {10.4230/LIPICS.CSL.2011.322},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kartzow11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kieronski11,
  author       = {Emanuel Kieronski},
  editor       = {Marc Bezem},
  title        = {Decidability Issues for Two-Variable Logics with Several Linear Orders},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {337--351},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.337},
  doi          = {10.4230/LIPICS.CSL.2011.337},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kieronski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/KomendantskayaP11,
  author       = {Ekaterina Komendantskaya and
                  John Power},
  editor       = {Marc Bezem},
  title        = {Coalgebraic Derivations in Logic Programming},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {352--366},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.352},
  doi          = {10.4230/LIPICS.CSL.2011.352},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/KomendantskayaP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Kopczynski11,
  author       = {Eryk Kopczynski},
  editor       = {Marc Bezem},
  title        = {Trees in Trees: Is the Incomplete Information about a Tree Consistent?},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {367--380},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.367},
  doi          = {10.4230/LIPICS.CSL.2011.367},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Kopczynski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/LeCY11,
  author       = {Dai Tri Man Le and
                  Stephen A. Cook and
                  Yuli Ye},
  editor       = {Marc Bezem},
  title        = {A Formal Theory for the Complexity Class Associated with the Stable
                  Marriage Problem},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {381--395},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.381},
  doi          = {10.4230/LIPICS.CSL.2011.381},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/LeCY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/LoschP11,
  author       = {Steffen L{\"{o}}sch and
                  Andrew M. Pitts},
  editor       = {Marc Bezem},
  title        = {Relating Two Semantics of Locally Scoped Names},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {396--411},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.396},
  doi          = {10.4230/LIPICS.CSL.2011.396},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/LoschP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/LustigNV11,
  author       = {Yoad Lustig and
                  Sumit Nain and
                  Moshe Y. Vardi},
  editor       = {Marc Bezem},
  title        = {Synthesis from Probabilistic Components},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {412--427},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.412},
  doi          = {10.4230/LIPICS.CSL.2011.412},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/LustigNV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Madhusudan11,
  author       = {Parthasarathy Madhusudan},
  editor       = {Marc Bezem},
  title        = {Synthesizing Reactive Programs},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {428--442},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.428},
  doi          = {10.4230/LIPICS.CSL.2011.428},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Madhusudan11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Makowsky11,
  author       = {Johann A. Makowsky},
  editor       = {Marc Bezem},
  title        = {Model Theory in Computer Science: My Own Recurrent Themes},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {553--567},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.553},
  doi          = {10.4230/LIPICS.CSL.2011.553},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Makowsky11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/MoreNS11,
  author       = {Sara Miner More and
                  Pavel Naumov and
                  Benjamin Sapp},
  editor       = {Marc Bezem},
  title        = {Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {443--457},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.443},
  doi          = {10.4230/LIPICS.CSL.2011.443},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/MoreNS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Otto11,
  author       = {Martin Otto},
  editor       = {Marc Bezem},
  title        = {The Freedoms of Guarded Bisimulation},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.2},
  doi          = {10.4230/LIPICS.CSL.2011.2},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Otto11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Polonsky11,
  author       = {Andrew Polonsky},
  editor       = {Marc Bezem},
  title        = {Axiomatizing the Quote},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {458--469},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.458},
  doi          = {10.4230/LIPICS.CSL.2011.458},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Polonsky11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/ReusS11,
  author       = {Bernhard Reus and
                  Thomas Streicher},
  editor       = {Marc Bezem},
  title        = {Relative Completeness for Logics of Functional Programs},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {470--480},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.470},
  doi          = {10.4230/LIPICS.CSL.2011.470},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/ReusS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/SchnablS11,
  author       = {Andreas Schnabl and
                  Jakob Grue Simonsen},
  editor       = {Marc Bezem},
  title        = {The Exact Hardness of Deciding Derivational and Runtime Complexity},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {481--495},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.481},
  doi          = {10.4230/LIPICS.CSL.2011.481},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/SchnablS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Schwencke11,
  author       = {Daniel Schwencke},
  editor       = {Marc Bezem},
  title        = {A Category Theoretic View of Nondeterministic Recursive Program Schemes},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {496--511},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.496},
  doi          = {10.4230/LIPICS.CSL.2011.496},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Schwencke11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/SchwinghammerB11,
  author       = {Jan Schwinghammer and
                  Lars Birkedal},
  editor       = {Marc Bezem},
  title        = {Step-Indexed Relational Reasoning for Countable Nondeterminism},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {512--524},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.512},
  doi          = {10.4230/LIPICS.CSL.2011.512},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/SchwinghammerB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Straubing11,
  author       = {Howard Straubing},
  editor       = {Marc Bezem},
  title        = {Algebraic Characterization of the Alternation Hierarchy in FO\({}^{\mbox{2}}\)[{\textless}]
                  on Finite Words},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {525--537},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.525},
  doi          = {10.4230/LIPICS.CSL.2011.525},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Straubing11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/TatsutaB11,
  author       = {Makoto Tatsuta and
                  Stefano Berardi},
  editor       = {Marc Bezem},
  title        = {Non-Commutative Infinitary Peano Arithmetic},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {538--552},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.538},
  doi          = {10.4230/LIPICS.CSL.2011.538},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/TatsutaB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Vardi11,
  author       = {Moshe Y. Vardi},
  editor       = {Marc Bezem},
  title        = {Branching vs. Linear Time: Semantical Perspective},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.3},
  doi          = {10.4230/LIPICS.CSL.2011.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Vardi11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/Wolter11,
  author       = {Frank Wolter},
  editor       = {Marc Bezem},
  title        = {Ontology-Based Data Access and Constraint Satisfaction},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {4},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.4},
  doi          = {10.4230/LIPICS.CSL.2011.4},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Wolter11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/X11,
  editor       = {Marc Bezem},
  title        = {Frontmatter, Table of Contents, Preface, Conference Organization},
  booktitle    = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2011.i},
  doi          = {10.4230/LIPICS.CSL.2011.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/X11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/csl/2011,
  editor       = {Marc Bezem},
  title        = {Computer Science Logic, 25th International Workshop / 20th Annual
                  Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
                  Norway, Proceedings},
  series       = {LIPIcs},
  volume       = {12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007},
  isbn         = {978-3-939897-32-3},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/2011.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.