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 | ||