RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Free Access

Foreword

Preface p. 1

Christian Choffrut and Loïc Colson

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007056

Tree inclusion problems p. 5

Patrick Cégielski, Irène Guessarian and Yuri Matiyasevich

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007052

About the domino problem in the hyperbolic plane from an algorithmic point of view p. 21

Maurice Margenstern

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007045

Exemples de classes d'automates cellulaires p. 37

Marianne Delorme and Jacques Mazoyer

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007049

An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem p. 55

Jean-Baptiste Yunès

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007051

A complete characterization of primitive recursive intensional behaviours p. 69

P. Valarcher

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007053

When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron p. 83

Maurice Pouzet

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007054

Arithmetization of the field of reals with exponentiation extended abstract p. 105

Sedki Boughattas and Jean-Pierre Ressayre

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007048

Deciding whether a relation defined in Presburger logic can be defined in weaker logics p. 121

Christian Choffrut

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007047

Weakly maximal decidable structures p. 137

Alexis Bès and Patrick Cégielski

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007044

Computing the jth solution of a first-order query p. 147

Guillaume Bagan, Arnaud Durand, Etienne Grandjean and Frédéric Olive

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007046

Learning discrete categorial grammars from structures p. 165

Jérôme Besombes and Jean-Yves Marion

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007055

On the continuity set of an Omega rational function p. 183

Olivier Carton, Olivier Finkel and Pierre Simonnet

Published online: 18 January 2008

DOI: https://doi.org/10.1051/ita:2007050

RAIRO - Theoretical Informatics and Applications

Volume 42 / No 1 (January-March 2008)

A nonstandard spirit among computer scientists:a tribute to Serge Grigorieff at the occasion of his 60th birthday

Preface p. 1

Tree inclusion problems p. 5

About the domino problem in the hyperbolic plane from an algorithmic point of view p. 21

Exemples de classes d'automates cellulaires p. 37

An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem p. 55

A complete characterization of primitive recursive intensional behaviours p. 69

When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron p. 83

Arithmetization of the field of reals with exponentiation extended abstract p. 105

Deciding whether a relation defined in Presburger logic can be defined in weaker logics p. 121

Weakly maximal decidable structures p. 137

Computing the jth solution of a first-order query p. 147

Learning discrete categorial grammars from structures p. 165

On the continuity set of an Omega rational function p. 183