---

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