RAIRO - Theoretical Informatics and Applications

Vol. 43 No. 1 (January-March 2009)

• Inf-datalog, Modal Logic and Complexities     p. 1
  Eugénie Foustoucos and Irène Guessarian
  Abstract | PDF file (293.3 KB) | References



• Equations on partial words     p. 23
  Francine Blanchet-Sadri, D. Dakota Blair and Rebeca V. Lewis
  Abstract | PDF file (241.5 KB) | References



• On Critical exponents in fixed points of k-uniform binary morphisms     p. 41
  Dalia Krieger
  Abstract | PDF file (548.2 KB) | References



• Hyper-minimizing minimized deterministic finite state automata     p. 69
  Andrew Badr, Viliam Geffert and Ian Shipman
  Abstract | PDF file (322.5 KB) | References



• Hierarchies and reducibilities on regular languages related to modulo counting     p. 95
  Victor L. Selivanov
  Abstract | PDF file (786.4 KB) | References



• Cycle and Path Embedding on 5-ary N-cubes     p. 133
  Tsong-Jie Lin, Sun-Yuan Hsieh and Hui-Ling Huang
  Abstract | PDF file (235.8 KB) | References



• Palindromic complexity of infinite words associated with non-simple Parry numbers     p. 145
  L'ubomíra Balková and Zuzana Masáková
  Abstract | PDF file (242.8 KB) | References



• Least Periods of Factors of Infinite Words     p. 165
  James D. Currie and Kalle Saari
  Abstract | PDF file (203.3 KB) | References