Creative Commons
| Preface R. Kahle and E. Grädel | ||
| From coinductive proofs to exact real arithmetic: theory and applications | ||
| Ulrich Berger | ||
| Functional Interpretations of Intuitionistic Linear Logic | ||
| Gilda Ferreira and Paulo Oliva | ||
| EXPTIME Tableaux for the Coalgebraic mu-Calculus | ||
| Corina Cirstea, Clemens Kupke and Dirk Pattinson | ||
| On the Parameterized Intractability of Monadic Second-Order Logic | ||
| Stephan Kreutzer | ||
| Tree-width for first order formulae | ||
| Isolde Adler and Mark Weyer | ||
| Pebble Games, Proof Complexity, and Time-Space Trade-offs | ||
| Jakob Nordstrom | ||