Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
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
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
