Creative Commons
| Preface J.-P. Jouannaud, M. Escardó and Anca Muscholl | ||
| An extension of data automata that captures XPath | ||
| Mikołaj Bojańczyk and Sławomir Lasota | ||
| Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem | ||
| Libor Barto and Marcin Kozik | ||
| QRB-Domains and the Probabilistic Powerdomain | ||
| Jean Goubault-Larrecq | ||
| On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction | ||
| Barnaby Martin, Manuel Bodirsky and Martin Hils | ||
| Querying the Guarded Fragment | ||
| Vince Bárány, Georg Gottlob and Martin Otto | ||
| Discriminating Lambda-Terms Using Clocked Boehm Trees | ||
| Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky | ||
| On the strictness of the quantifier structure hierarchy in first-order logic | ||
| Yuguo He | ||