Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 36 (2002)
no. 4
Précédent
Suivant
Volume 36 (2002) no. 4
Sommaire
An upper bound on the space complexity of random formulae in resolution
Zito, Michele
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