Geodesic

Tome 42 (2008) no. 1

Sommaire

Preface
p. 1-4
Tree inclusion problems
p. 5-20
About the domino problem in the hyperbolic plane from an algorithmic point of view
p. 21-36
Exemples de classes d'automates cellulaires
p. 37-53
An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem
p. 55-68
A complete characterization of primitive recursive intensional behaviours
p. 69-82
When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron
p. 83-103
Arithmetization of the field of reals with exponentiation extended abstract
p. 105-119
Deciding whether a relation defined in Presburger logic can be defined in weaker logics
p. 121-135
Weakly maximal decidable structures
p. 137-145
Computing the jth solution of a first-order query
p. 147-164
Learning discrete categorial grammars from structures
p. 165-182
On the continuity set of an Omega rational function
p. 183-196