---

Theoretical Informatics and Applications

Vol. 36 No. 4 (October-December 2002)

• An Upper Bound on the Space Complexity of Random Formulae in Resolution     p. 329
  Michele Zito
  Abstract | References | PDF file (157 KB)



• About the decision of reachability for register machines     p. 341
  Véronique Cortier
  Abstract | References | PDF file (189 KB)



• On Shuffle Ideals     p. 359
  Pierre-Cyrille Héam
  Abstract | References | PDF file (252 KB)



• On a characteristic property of ARNOUX-RAUZY sequences     p. 385
  Jacques Justin and Giuseppe Pirillo
  Abstract | References | PDF file (79.8 KB)



• Integer Partitions, Tilings of 2D-gons and Lattices     p. 389
  Matthieu Latapy
  Abstract | References | PDF file (189 KB)

---

© EDP Sciences 2002