Table of contents
Theoretical Informatics and Applications
Vol. 42 No. 1 (January-March 2008)
Special Issue:
A nonstandard spirit among computer scientists:
a tribute to Serge Grigorieff at the occasion of his 60th birthday
- Preface
p. 1
Christian Choffrut and Loïc Colson
PDF file (70.34 KB) | References - Tree inclusion problems
p. 5
Patrick Cégielski, Irène Guessarian and Yuri Matiyasevich
Abstract | PDF file (202.3 KB) | References - About the domino problem in the hyperbolic plane from an algorithmic
point of view
p. 21
Maurice Margenstern
Abstract | PDF file (2.043 MB) | References - Exemples de classes d'automates cellulaires
p. 37
Marianne Delorme and Jacques Mazoyer
Abstract | PDF file (4.742 MB) | References - An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem
p. 55
Jean-Baptiste Yunès
Abstract | PDF file (252.6 KB) | References - A complete characterization of primitive recursive intensional
behaviours
p. 69
P. Valarcher
Abstract | PDF file (546.0 KB) | References - When is the orbit algebra of a group an integral domain? Proof of a conjecture of P.J. Cameron
p. 83
Maurice Pouzet
Abstract | PDF file (265.0 KB) | References - Arithmetization of the field of reals with exponentiation extended abstract
p. 105
Sedki Boughattas and Jean-Pierre Ressayre
Abstract | PDF file (227.7 KB) | References - Deciding whether a relation defined in
Presburger logic
can be defined in weaker logics
p. 121
Christian Choffrut
Abstract | PDF file (190.4 KB) | References - Weakly maximal decidable structures
p. 137
Alexis Bès and Patrick Cégielski
Abstract | PDF file (146.3 KB) | References - Computing the jth solution of a first-order query
p. 147
Guillaume Bagan, Arnaud Durand, Etienne Grandjean and Frédéric Olive
Abstract | PDF file (234.1 KB) | References - Learning discrete categorial grammars from structures
p. 165
Jérôme Besombes and Jean-Yves Marion
Abstract | PDF file (183.8 KB) | References - On the continuity set of an Omega rational function
p. 183
Olivier Carton, Olivier Finkel and Pierre Simonnet
Abstract | PDF file (201.9 KB) | References
© EDP Sciences 2007



Table of contents 