Creative Commons
| Preface Anuj Dawar and Helmut Veith | ||
| Randomisation and Derandomisation in Descriptive Complexity Theory | ||
| Kord Eickmeyer and Martin Grohe | ||
| Two-Variable Logic with Two Order Relations | ||
| Thomas Schwentick and Thomas Zeume | ||
| Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability | ||
| Matthias Baaz, Agata Ciabattoni and Christian G. Fermüller | ||
| Formal Theories for Linear Algebra | ||
| Stephen A Cook and Lila A Fontes | ||
| Generic Fibrational Induction | ||
| Neil Ghani, Patricia Johann and Clement Fumex | ||
| Untyping Typed Algebras and Colouring Cyclic Linear Logic | ||
| Damien Pous | ||
| Environment and classical channels in categorical quantum mechanics | ||
| Bob Coecke and Simon Perdrix | ||
| A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems | ||
| Andre Platzer | ||