24. CSL 2010:
Brno, Czech Republic
share record
short URL:
https://dblp.org/rec/conf/csl/2010 Anuj Dawar ,
Helmut Veith :
Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Lecture Notes in Computer Science 6247,
Springer 2010 , ISBN
978-3-642-15204-7
share record
short URL:
https://dblp.org/rec/conf/csl/BasinC10 share record
short URL:
https://dblp.org/rec/conf/csl/Gradel10 share record
short URL:
https://dblp.org/rec/conf/csl/Krajicek10 Jan Krajícek :
From Feasible Proofs to Feasible Computations. 22-31 share record
short URL:
https://dblp.org/rec/conf/csl/Krokhin10 share record
short URL:
https://dblp.org/rec/conf/csl/KuncakPS10 share record
short URL:
https://dblp.org/rec/conf/csl/OHearn10 Peter W. O'Hearn :
Abductive, Inductive and Deductive Reasoning about Resources. 49-50 share record
short URL:
https://dblp.org/rec/conf/csl/Rybalchenko10 Andrey Rybalchenko :
Constraint Solving for Program Verification: Theory and Practice by Example. 51
share record
short URL:
https://dblp.org/rec/conf/csl/AlendaOST10 share record
short URL:
https://dblp.org/rec/conf/csl/BaazF10 share record
short URL:
https://dblp.org/rec/conf/csl/BaganDFG10 share record
short URL:
https://dblp.org/rec/conf/csl/BarthwalN10 share record
short URL:
https://dblp.org/rec/conf/csl/BenediktLP10 share record
short URL:
https://dblp.org/rec/conf/csl/BiancoMM10 share record
short URL:
https://dblp.org/rec/conf/csl/BlassDG10 share record
short URL:
https://dblp.org/rec/conf/csl/Burel10 share record
short URL:
https://dblp.org/rec/conf/csl/CarraroES10 share record
short URL:
https://dblp.org/rec/conf/csl/Chaudhuri10 Kaustuv Chaudhuri :
Classical and Intuitionistic Subexponential Logics Are Equally Expressive. 185-199 share record
short URL:
https://dblp.org/rec/conf/csl/ChenF10 Yijia Chen ,
Jörg Flum :
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. 200-214 share record
short URL:
https://dblp.org/rec/conf/csl/ChurchillL10 share record
short URL:
https://dblp.org/rec/conf/csl/CoeckeP10 share record
short URL:
https://dblp.org/rec/conf/csl/CookF10 share record
short URL:
https://dblp.org/rec/conf/csl/DegorreDGRT10 share record
short URL:
https://dblp.org/rec/conf/csl/EickmeyerG10 share record
short URL:
https://dblp.org/rec/conf/csl/Santo10 share record
short URL:
https://dblp.org/rec/conf/csl/FinkbeinerS10 share record
short URL:
https://dblp.org/rec/conf/csl/FioreH10 share record
short URL:
https://dblp.org/rec/conf/csl/GhaniJF10 share record
short URL:
https://dblp.org/rec/conf/csl/Hetzl10 Stefan Hetzl :
A Sequent Calculus with Implicit Term Representation. 351-365 share record
short URL:
https://dblp.org/rec/conf/csl/GanzowK10 share record
short URL:
https://dblp.org/rec/conf/csl/AccattoliK10 share record
short URL:
https://dblp.org/rec/conf/csl/KuskeLL10 share record
short URL:
https://dblp.org/rec/conf/csl/LohmannV10 share record
short URL:
https://dblp.org/rec/conf/csl/MartinM10 Barnaby Martin ,
Jos Martin :
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case. 426-438 share record
short URL:
https://dblp.org/rec/conf/csl/NenovP10 share record
short URL:
https://dblp.org/rec/conf/csl/ForsbergS10 share record
short URL:
https://dblp.org/rec/conf/csl/Platzer10 André Platzer :
Quantified Differential Dynamic Logic for Distributed Hybrid Systems. 469-483 share record
short URL:
https://dblp.org/rec/conf/csl/Pous10 Damien Pous :
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. 484-498 share record
short URL:
https://dblp.org/rec/conf/csl/SchwentickZ10 share record
short URL:
https://dblp.org/rec/conf/csl/SternagelT10 share record
short URL:
https://dblp.org/rec/conf/csl/Strub10 share record
short URL:
https://dblp.org/rec/conf/csl/MakowskyN10
maintained by
, founded at