Preface P. Cégielski, A. Durand | ||
Definability of linear equation systems over groups and rings | ||
Anuj Dawar, Eryk Kopczynski, Bjarki Holm, Erich Grädel and Wied Pakusa | ||
Ordered Models of the Lambda Calculus | ||
Alberto Carraro and Antonio Salibra | ||
Herbrand-Confluence | ||
Stefan Hetzl and Lutz Straßburger | ||
Undecidable First-Order Theories of Affine Geometries | ||
Antti Kuusisto, Jeremy Meyers and Jonni Virtema | ||
Knowledge Spaces and the Completeness of Learning Strategies | ||
Stefano Berardi and Ugo de'Liguoro | ||
A Proof of Kamp's theorem | ||
Alexander Rabinovich | ||
Connection Matrices and the Definability of Graph Parameters | ||
Tomer Kotek and Johann A. Makowsky | ||