Sommaire

Preface
Tree inclusion problems
About the domino problem in the hyperbolic plane from an algorithmic point of view
Exemples de classes d'automates cellulaires
An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem
A complete characterization of primitive recursive intensional behaviours
When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron
Arithmetization of the field of reals with exponentiation extended abstract
Deciding whether a relation defined in Presburger logic can be defined in weaker logics
Weakly maximal decidable structures
Computing the jth solution of a first-order query
Learning discrete categorial grammars from structures
On the continuity set of an Omega rational function