21. CSL 2007:
Lausanne, Switzerland
share record
short URL:
https://dblp.org/rec/conf/csl/2007 Jacques Duparc ,
Thomas A. Henzinger :
Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Lecture Notes in Computer Science 4646,
Springer 2007 , ISBN
978-3-540-74914-1
share record
short URL:
https://dblp.org/rec/conf/csl/Abramsky07 Samson Abramsky :
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract). 1-2 share record
short URL:
https://dblp.org/rec/conf/csl/Alfaro07 share record
short URL:
https://dblp.org/rec/conf/csl/Beckmann07 share record
short URL:
https://dblp.org/rec/conf/csl/Dawar07 Anuj Dawar :
Model-Checking First-Order Logic: Automata and Locality. 6 share record
short URL:
https://dblp.org/rec/conf/csl/Kupferman07 share record
short URL:
https://dblp.org/rec/conf/csl/GawlitzaS07
share record
short URL:
https://dblp.org/rec/conf/csl/Kopczynski07 share record
short URL:
https://dblp.org/rec/conf/csl/Obdrzalek07 share record
short URL:
https://dblp.org/rec/conf/csl/RabinovichT07 share record
short URL:
https://dblp.org/rec/conf/csl/DawarR07
share record
short URL:
https://dblp.org/rec/conf/csl/AbdullaDB07 share record
short URL:
https://dblp.org/rec/conf/csl/FinkelL07
share record
short URL:
https://dblp.org/rec/conf/csl/FiliotTT07 share record
short URL:
https://dblp.org/rec/conf/csl/Bojanczyk07 share record
short URL:
https://dblp.org/rec/conf/csl/CarayolL07
share record
short URL:
https://dblp.org/rec/conf/csl/FournierGGZ07 share record
short URL:
https://dblp.org/rec/conf/csl/BodirskyC07 share record
short URL:
https://dblp.org/rec/conf/csl/BaganDG07 share record
short URL:
https://dblp.org/rec/conf/csl/KorovinV07
share record
short URL:
https://dblp.org/rec/conf/csl/Kesner07 Delia Kesner :
The Theory of Calculi with Explicit Substitutions Revisited. 238-252 share record
short URL:
https://dblp.org/rec/conf/csl/GaboardiR07 share record
short URL:
https://dblp.org/rec/conf/csl/BerlineMS07 share record
short URL:
https://dblp.org/rec/conf/csl/LassenL07
share record
short URL:
https://dblp.org/rec/conf/csl/BucciarelliEM07 share record
short URL:
https://dblp.org/rec/conf/csl/Miquel07 Alexandre Miquel :
Classical Program Extraction in the Calculus of Constructions. 313-327 share record
short URL:
https://dblp.org/rec/conf/csl/BlanquiJS07
share record
short URL:
https://dblp.org/rec/conf/csl/WeisI07 share record
short URL:
https://dblp.org/rec/conf/csl/Goller07 Stefan Göller :
On the Complexity of Reasoning About Dynamic Policies. 358-373 share record
short URL:
https://dblp.org/rec/conf/csl/AehligCN07 share record
short URL:
https://dblp.org/rec/conf/csl/ChenF07 Yijia Chen ,
Jörg Flum :
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. 389-404
share record
short URL:
https://dblp.org/rec/conf/csl/MillerS07 share record
short URL:
https://dblp.org/rec/conf/csl/Hoshino07 share record
short URL:
https://dblp.org/rec/conf/csl/NauroisM07 share record
short URL:
https://dblp.org/rec/conf/csl/LiangM07
share record
short URL:
https://dblp.org/rec/conf/csl/MillerN07 export record
dblp key:
conf/csl/GaintzarainHLNO07 share record
short URL:
https://dblp.org/rec/conf/csl/GaintzarainHLNO07 share record
short URL:
https://dblp.org/rec/conf/csl/Burel07 Guillaume Burel :
Unbounded Proof-Length Speed-Up in Deduction Modulo. 496-511 share record
short URL:
https://dblp.org/rec/conf/csl/AehligB07 share record
short URL:
https://dblp.org/rec/conf/csl/HertelU07
export record
dblp key:
conf/csl/Goubault-Larrecq07 share record
short URL:
https://dblp.org/rec/conf/csl/Goubault-Larrecq07 share record
short URL:
https://dblp.org/rec/conf/csl/Murawski07 share record
short URL:
https://dblp.org/rec/conf/csl/McCuskerP07 share record
short URL:
https://dblp.org/rec/conf/csl/GroheHMN07
maintained by
, founded at