Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/csl/AbdullaDB07,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Laurent Van Begin},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Comparing the Expressive Power of Well-Structured Transition Systems},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {99--114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_11},
doi = {10.1007/978-3-540-74915-8\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AbdullaDB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Abramsky07,
author = {Samson Abramsky},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Full Completeness: Interactive and Geometric Characterizations of
the Space of Proofs (Abstract)},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {1--2},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_1},
doi = {10.1007/978-3-540-74915-8\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Abramsky07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AehligB07,
author = {Klaus Aehlig and
Arnold Beckmann},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Propositional Logic for Circuit Classes},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {512--526},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_38},
doi = {10.1007/978-3-540-74915-8\_38},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AehligB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AehligCN07,
author = {Klaus Aehlig and
Stephen A. Cook and
Phuong Nguyen},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Relativizing Small Complexity Classes and Their Theories},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {374--388},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_29},
doi = {10.1007/978-3-540-74915-8\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AehligCN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Alfaro07,
author = {Luca de Alfaro},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Symbolic Approach to Repeated Games (Abstract)},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {3},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_2},
doi = {10.1007/978-3-540-74915-8\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Alfaro07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaganDG07,
author = {Guillaume Bagan and
Arnaud Durand and
Etienne Grandjean},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {On Acyclic Conjunctive Queries and Constant Delay Enumeration},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {208--222},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_18},
doi = {10.1007/978-3-540-74915-8\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaganDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Beckmann07,
author = {Arnold Beckmann},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Proofs, Programs and Abstract Complexity},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {4--5},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_3},
doi = {10.1007/978-3-540-74915-8\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Beckmann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BerlineMS07,
author = {Chantal Berline and
Giulio Manzonetto and
Antonino Salibra},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Lambda Theories of Effective Lambda Models},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {268--282},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_22},
doi = {10.1007/978-3-540-74915-8\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BerlineMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BlanquiJS07,
author = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Jean{-}Pierre Jouannaud and
Pierre{-}Yves Strub},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Building Decision Procedures in the Calculus of Inductive Constructions},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {328--342},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_26},
doi = {10.1007/978-3-540-74915-8\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BlanquiJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BodirskyC07,
author = {Manuel Bodirsky and
Hubie Chen},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Qualitative Temporal and Spatial Reasoning Revisited},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {194--207},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_17},
doi = {10.1007/978-3-540-74915-8\_17},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BodirskyC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Bojanczyk07,
author = {Mikolaj Bojanczyk},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Forest Expressions},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {146--160},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_14},
doi = {10.1007/978-3-540-74915-8\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Bojanczyk07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BucciarelliEM07,
author = {Antonio Bucciarelli and
Thomas Ehrhard and
Giulio Manzonetto},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Not Enough Points Is Enough},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {298--312},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_24},
doi = {10.1007/978-3-540-74915-8\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BucciarelliEM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Burel07,
author = {Guillaume Burel},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Unbounded Proof-Length Speed-Up in Deduction Modulo},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {496--511},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_37},
doi = {10.1007/978-3-540-74915-8\_37},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Burel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CarayolL07,
author = {Arnaud Carayol and
Christof L{\"{o}}ding},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {{MSO} on the Infinite Binary Tree: Choice and Order},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {161--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_15},
doi = {10.1007/978-3-540-74915-8\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/CarayolL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChenF07,
author = {Yijia Chen and
J{\"{o}}rg Flum},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Subexponential Time and Fixed-Parameter Tractability: Exploiting the
Miniaturization Mapping},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {389--404},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_30},
doi = {10.1007/978-3-540-74915-8\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChenF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Dawar07,
author = {Anuj Dawar},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Model-Checking First-Order Logic: Automata and Locality},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {6},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_4},
doi = {10.1007/978-3-540-74915-8\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Dawar07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DawarR07,
author = {Anuj Dawar and
David Richerby},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Power of Counting Logics on Restricted Classes of Finite Structures},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {84--98},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_10},
doi = {10.1007/978-3-540-74915-8\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DawarR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FiliotTT07,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Satisfiability of a Spatial Logic with Tree Variables},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {130--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_13},
doi = {10.1007/978-3-540-74915-8\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FiliotTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FinkelL07,
author = {Olivier Finkel and
Dominique Lecomte},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {There Exist Some \emph{omega} -Powers of Any Borel Rank},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {115--129},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_12},
doi = {10.1007/978-3-540-74915-8\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FinkelL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FournierGGZ07,
author = {Herv{\'{e}} Fournier and
Dani{\`{e}}le Gardy and
Antoine Genitrini and
Marek Zaionc},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Classical and Intuitionistic Logic Are Asymptotically Identical},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {177--193},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_16},
doi = {10.1007/978-3-540-74915-8\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FournierGGZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GaboardiR07,
author = {Marco Gaboardi and
Simona Ronchi Della Rocca},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {A Soft Type Assignment System for \emph{lambda} -Calculus},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {253--267},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_21},
doi = {10.1007/978-3-540-74915-8\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GaboardiR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GaintzarainHLNO07,
author = {Joxe Gaintzarain and
Montserrat Hermo and
Paqui Lucio and
Marisa Navarro and
Fernando Orejas},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {A Cut-Free and Invariant-Free Sequent Calculus for {PLTL}},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {481--495},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_36},
doi = {10.1007/978-3-540-74915-8\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GaintzarainHLNO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GawlitzaS07,
author = {Thomas Gawlitza and
Helmut Seidl},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Precise Relational Invariants Through Strategy Iteration},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {23--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_6},
doi = {10.1007/978-3-540-74915-8\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GawlitzaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goller07,
author = {Stefan G{\"{o}}ller},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {On the Complexity of Reasoning About Dynamic Policies},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {358--373},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_28},
doi = {10.1007/978-3-540-74915-8\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goller07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-Larrecq07,
author = {Jean Goubault{-}Larrecq},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Continuous Previsions},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {542--557},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_40},
doi = {10.1007/978-3-540-74915-8\_40},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goubault-Larrecq07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GroheHMN07,
author = {Martin Grohe and
Martin Hyland and
Johann A. Makowsky and
Damian Niwinski},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Ackermann Award 2007},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {589--597},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_43},
doi = {10.1007/978-3-540-74915-8\_43},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GroheHMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HertelU07,
author = {Alexander Hertel and
Alasdair Urquhart},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Game Characterizations and the PSPACE-Completeness of Tree Resolution
Space},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {527--541},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_39},
doi = {10.1007/978-3-540-74915-8\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HertelU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hoshino07,
author = {Naohiko Hoshino},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Linear Realizability},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {420--434},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_32},
doi = {10.1007/978-3-540-74915-8\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Hoshino07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kesner07,
author = {Delia Kesner},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Theory of Calculi with Explicit Substitutions Revisited},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {238--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_20},
doi = {10.1007/978-3-540-74915-8\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kesner07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kopczynski07,
author = {Eryk Kopczynski},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Omega-Regular Half-Positional Winning Conditions},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {41--53},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_7},
doi = {10.1007/978-3-540-74915-8\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kopczynski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KorovinV07,
author = {Konstantin Korovin and
Andrei Voronkov},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Integrating Linear Arithmetic into Superposition Calculus},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {223--237},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_19},
doi = {10.1007/978-3-540-74915-8\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KorovinV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kupferman07,
author = {Orna Kupferman},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Tightening the Exchange Rates Between Automata},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {7--22},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_5},
doi = {10.1007/978-3-540-74915-8\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kupferman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LassenL07,
author = {S{\o}ren B. Lassen and
Paul Blain Levy},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Typed Normal Form Bisimulation},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {283--297},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_23},
doi = {10.1007/978-3-540-74915-8\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/LassenL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LiangM07,
author = {Chuck C. Liang and
Dale Miller},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Focusing and Polarization in Intuitionistic Logic},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {451--465},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_34},
doi = {10.1007/978-3-540-74915-8\_34},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/LiangM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/McCuskerP07,
author = {Guy McCusker and
David J. Pym},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {A Games Model of Bunched Implications},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {573--588},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_42},
doi = {10.1007/978-3-540-74915-8\_42},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/McCuskerP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MillerN07,
author = {Dale Miller and
Vivek Nigam},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Incorporating Tables into Proofs},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {466--480},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_35},
doi = {10.1007/978-3-540-74915-8\_35},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MillerN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MillerS07,
author = {Dale Miller and
Alexis Saurin},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {From Proofs to Focused Proofs: {A} Modular Proof of Focalization in
Linear Logic},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {405--419},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_31},
doi = {10.1007/978-3-540-74915-8\_31},
timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/MillerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Miquel07,
author = {Alexandre Miquel},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Classical Program Extraction in the Calculus of Constructions},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {313--327},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_25},
doi = {10.1007/978-3-540-74915-8\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Miquel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Murawski07,
author = {Andrzej S. Murawski},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Bad Variables Under Control},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {558--572},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_41},
doi = {10.1007/978-3-540-74915-8\_41},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Murawski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/NauroisM07,
author = {Paulin Jacob{\'{e}} de Naurois and
Virgile Mogbil},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Correctness of Multiplicative (and Exponential) Proof Structures is
\emph{NL} -Complete},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {435--450},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_33},
doi = {10.1007/978-3-540-74915-8\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/NauroisM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Obdrzalek07,
author = {Jan Obdrz{\'{a}}lek},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Clique-Width and Parity Games},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {54--68},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_8},
doi = {10.1007/978-3-540-74915-8\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Obdrzalek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RabinovichT07,
author = {Alexander Rabinovich and
Wolfgang Thomas},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Logical Refinements of Church's Problem},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {69--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_9},
doi = {10.1007/978-3-540-74915-8\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RabinovichT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/WeisI07,
author = {Philipp Weis and
Neil Immerman},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Structure Theorem and Strict Alternation Hierarchy for FO\({}^{\mbox{2}}\)
on Words},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {343--357},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_27},
doi = {10.1007/978-3-540-74915-8\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/WeisI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2007,
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8},
doi = {10.1007/978-3-540-74915-8},
isbn = {978-3-540-74914-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-04 20:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
