22. CSL 2008:
Bertinoro, Italy
share record
short URL:
https://dblp.org/rec/conf/csl/2008 Michael Kaminski ,
Simone Martini :
Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Lecture Notes in Computer Science 5213,
Springer 2008 , ISBN
978-3-540-87530-7
share record
short URL:
https://dblp.org/rec/conf/csl/BlanquiJR08 share record
short URL:
https://dblp.org/rec/conf/csl/Curien08 share record
short URL:
https://dblp.org/rec/conf/csl/Thomas08 Wolfgang Thomas :
Model Transformations in Decidability Proofs for Monadic Theories. 23-31 share record
short URL:
https://dblp.org/rec/conf/csl/Cardelli08
share record
short URL:
https://dblp.org/rec/conf/csl/TorreMP08 share record
short URL:
https://dblp.org/rec/conf/csl/BonfanteKMO08 share record
short URL:
https://dblp.org/rec/conf/csl/McKenzieTV08 share record
short URL:
https://dblp.org/rec/conf/csl/HofmannS08 share record
short URL:
https://dblp.org/rec/conf/csl/CharatonikW08 share record
short URL:
https://dblp.org/rec/conf/csl/CreignouSS08 share record
short URL:
https://dblp.org/rec/conf/csl/PiskacK08 share record
short URL:
https://dblp.org/rec/conf/csl/Fontaine08 share record
short URL:
https://dblp.org/rec/conf/csl/Saurin08 Alexis Saurin :
On the Relations between the Syntactic Theories of lambda-mu-Calculi. 154-168 share record
short URL:
https://dblp.org/rec/conf/csl/HermantL08 share record
short URL:
https://dblp.org/rec/conf/csl/Nguyen08 Phuong Nguyen :
Proving Infinitude of Prime Numbers Using Binomial Coefficients. 184-198 share record
short URL:
https://dblp.org/rec/conf/csl/BeyersdorffM08 share record
short URL:
https://dblp.org/rec/conf/csl/Berardid08 share record
short URL:
https://dblp.org/rec/conf/csl/LagoL08 share record
short URL:
https://dblp.org/rec/conf/csl/Tranquilli08 Paolo Tranquilli :
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. 246-261 share record
short URL:
https://dblp.org/rec/conf/csl/HamanoT08 share record
short URL:
https://dblp.org/rec/conf/csl/Katsumata08 Shin-ya Katsumata :
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. 278-292 share record
short URL:
https://dblp.org/rec/conf/csl/HorbachW08 share record
short URL:
https://dblp.org/rec/conf/csl/HodkinsonMS08 share record
short URL:
https://dblp.org/rec/conf/csl/BrocheninDL08 share record
short URL:
https://dblp.org/rec/conf/csl/KotekMZ08 share record
short URL:
https://dblp.org/rec/conf/csl/DawarG08 share record
short URL:
https://dblp.org/rec/conf/csl/Schewe08 Sven Schewe :
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. 369-384 share record
short URL:
https://dblp.org/rec/conf/csl/ChatterjeeDH08 share record
short URL:
https://dblp.org/rec/conf/csl/Place08 Thomas Place :
Characterization of Logics over Ranked Tree Languages. 401-415 share record
short URL:
https://dblp.org/rec/conf/csl/ColcombetL08 share record
short URL:
https://dblp.org/rec/conf/csl/Eisinger08 Jochen Eisinger :
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract). 431-445 share record
short URL:
https://dblp.org/rec/conf/csl/AbelR08 export record
dblp key:
conf/csl/Dezani-CiancagliniCGT08 share record
short URL:
https://dblp.org/rec/conf/csl/Dezani-CiancagliniCGT08 share record
short URL:
https://dblp.org/rec/conf/csl/NakazawaTKN08 share record
short URL:
https://dblp.org/rec/conf/csl/BartheGR08 share record
short URL:
https://dblp.org/rec/conf/csl/MakowskyN08
maintained by
, founded at