GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 22 (1988)
no. 2
Sommaire
A linear-time algorithm to decide whether a binary word contains an overlap
Kfoury, A. J.
p. 135-145
Un réseau linéaire pour la reconnaissance des mots sans carré
Melkemi, Lamine
;
Tchuente, Maurice
p. 147-161
A note on the iteration of infinite matrices
Wechler, Wolfgang
p. 163-171
Une charpente de semi-unification
Durieux, J.-L.
;
Saint-James, E.
p. 173-226
Immunity and simplicity in relativizations of probabilistic complexity classes
Balcázar, José L.
;
Russo, David A.
p. 227-244
Étude de la séparation et de l'élimination sur une famille de graphes quotients déduite d'une méthode de dissections emboîtées
Charrier, P.
;
Roman, J.
p. 245-265