22. CSL 2008:
Bertinoro,
Italy
Michael Kaminski, Simone Martini (Eds.):
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 BibTeX
Invited Talks
Contributed Papers
- Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
An Infinite Automaton Characterization of Double Exponential Time.
33-48
Electronic Edition (link) BibTeX
- Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem:
Recursion Schemata for NCk.
49-63
Electronic Edition (link) BibTeX
- Pierre McKenzie, Michael Thomas, Heribert Vollmer:
Extensional Uniformity for Boolean Circuits.
64-78
Electronic Edition (link) BibTeX
- Martin Hofmann, Ulrich Schöpp:
Pure Pointer Programs with Iteration.
79-93
Electronic Edition (link) BibTeX
- Witold Charatonik, Michal Wrona:
Quantified Positive Temporal Constraints.
94-108
Electronic Edition (link) BibTeX
- Nadia Creignou, Henning Schnoor, Ilka Schnoor:
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.
109-123
Electronic Edition (link) BibTeX
- Ruzica Piskac, Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.
124-138
Electronic Edition (link) BibTeX
- Gaëlle Fontaine:
Continuous Fragment of the mu-Calculus.
139-153
Electronic Edition (link) BibTeX
- Alexis Saurin:
On the Relations between the Syntactic Theories of lambda-mu-Calculi.
154-168
Electronic Edition (link) BibTeX
- Olivier Hermant, James Lipton:
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.
169-183
Electronic Edition (link) BibTeX
- Phuong Nguyen:
Proving Infinitude of Prime Numbers Using Binomial Coefficients.
184-198
Electronic Edition (link) BibTeX
- Olaf Beyersdorff, Sebastian Müller:
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic.
199-214
Electronic Edition (link) BibTeX
- Stefano Berardi, Ugo de'Liguoro:
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).
215-229
Electronic Edition (link) BibTeX
- Ugo Dal Lago, Olivier Laurent:
Quantitative Game Semantics for Linear Logic.
230-245
Electronic Edition (link) BibTeX
- Paolo Tranquilli:
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.
246-261
Electronic Edition (link) BibTeX
- Masahiro Hamano, Ryo Takemura:
An Indexed System for Multiplicative Additive Polarized Linear Logic.
262-277
Electronic Edition (link) BibTeX
- Shin-ya Katsumata:
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.
278-292
Electronic Edition (link) BibTeX
- Matthias Horbach, Christoph Weidenbach:
Superposition for Fixed Domains.
293-307
Electronic Edition (link) BibTeX
- Ian Hodkinson, Angelo Montanari, Guido Sciavicco:
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
308-322
Electronic Edition (link) BibTeX
- Rémi Brochenin, Stéphane Demri, Étienne Lozes:
On the Almighty Wand.
323-338
Electronic Edition (link) BibTeX
- Tomer Kotek, Johann A. Makowsky, Boris Zilber:
On Counting Generalized Colorings.
339-353
Electronic Edition (link) BibTeX
- Anuj Dawar, Erich Grädel:
The Descriptive Complexity of Parity Games.
354-368
Electronic Edition (link) BibTeX
- Sven Schewe:
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games.
369-384
Electronic Edition (link) BibTeX
- Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative Languages.
385-400
Electronic Edition (link) BibTeX
- Thomas Place:
Characterization of Logics over Ranked Tree Languages.
401-415
Electronic Edition (link) BibTeX
- Thomas Colcombet, Christof Löding:
The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.
416-430
Electronic Edition (link) BibTeX
- Jochen Eisinger:
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).
431-445
Electronic Edition (link) BibTeX
- Andreas Abel, Dulma Rodriguez:
Syntactic Metatheory of Higher-Order Subtyping.
446-460
Electronic Edition (link) BibTeX
- Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta:
On Isomorphisms of Intersection Types.
461-477
Electronic Edition (link) BibTeX
- Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano:
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.
478-492
Electronic Edition (link) BibTeX
- Gilles Barthe, Benjamin Grégoire, Colin Riba:
Type-Based Termination with Sized Products.
493-507
Electronic Edition (link) BibTeX
- Johann A. Makowsky, Damian Niwinski:
The Ackermann Award 2008.
508-512
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:04:00 2009
by Michael Ley (ley@uni-trier.de)
