Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 42 (2008)
no. 1
Sommaire
Preface
Choffrut, Christian
;
Colson, Loïc
p. 1-4
Tree inclusion problems
Cégielski, Patrick
;
Guessarian, Irène
;
Matiyasevich, Yuri
p. 5-20
About the domino problem in the hyperbolic plane from an algorithmic point of view
Margenstern, Maurice
p. 21-36
Exemples de classes d'automates cellulaires
Delorme, Marianne
;
Mazoyer, Jacques
p. 37-53
An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem
Yunès, Jean-Baptiste
p. 55-68
A complete characterization of primitive recursive intensional behaviours
Valarcher, P.
p. 69-82
When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron
Pouzet, Maurice
p. 83-103
Arithmetization of the field of reals with exponentiation extended abstract
Boughattas, Sedki
;
Ressayre, Jean-Pierre
p. 105-119
Deciding whether a relation defined in Presburger logic can be defined in weaker logics
Choffrut, Christian
p. 121-135
Weakly maximal decidable structures
Bès, Alexis
;
Cégielski, Patrick
p. 137-145
Computing the jth solution of a first-order query
Bagan, Guillaume
;
Durand, Arnaud
;
Grandjean, Etienne
;
Olive, Frédéric
p. 147-164
Learning discrete categorial grammars from structures
Besombes, Jérôme
;
Marion, Jean-Yves
p. 165-182
On the continuity set of an Omega rational function
Carton, Olivier
;
Finkel, Olivier
;
Simonnet, Pierre
p. 183-196