Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
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 18 (1984)
no. 2
Sommaire
Définitions récursives par cas
Courcelle, B.
;
Lavandier, F.
p. 91-129
Charakterisierung redundanzfreier codes zur datenverschlüsselung
Jürgensen, H.
;
Kunze, M.
p. 131-146
On context constrained squares and repetitions in a string
Apostolico, A.
p. 147-159
Un principe de résolution en logique modale
Fariñas Del Cerro, Luis
p. 161-170
Computing the connected components of simple rectilinear geometrical objects in
d
-space
Edelsbrunner, Herbert
;
Van Leeuwen, Jan
;
Ottmann, Thomas
;
Wood, Derick
p. 171-183