RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 4

Sommaire

An upper bound on the space complexity of random formulae in resolution

p. 329-339

About the decision of reachability for register machines

Cortier, Véronique

p. 341-358

On shuffle ideals

Héam, Pierre-Cyrille

p. 359-384

On a characteristic property of Arnoux-Rauzy sequences

Justin, Jacques ; Pirillo, Giuseppe

p. 385-388

Integer partitions, tilings of

2 D

-gons and lattices

Latapy, Matthieu

p. 389-399