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 8 (1974)
Sommaire du
Fascicule no. R1
Algorithmes universels
Nolin, Louis
p. 5-18
Une forme canonique pour les grammaires simples déterministes
Courcelle, Bruno
p. 19-36
Une généralisation de la notion d'ensemble immune
Flajolet, Philippe
;
Steyaert, Jean-Marc
p. 37-48
A note on graph coloring
De Werra, D.
p. 49-53
Sur les monoïdes finis dont les groupes sont commutatifs
Schützenberger, M. P.
p. 55-61
Une caractérisation des générateurs standard
Autebert, J. M.
;
Beauquier, J.
p. 63-83
Sommaire du
Fascicule no. R3
Complexity of theorem-proving procedures : some general properties
Longo, G.
;
Venturini Zilli, M.
p. 5-18
Sémantique formelle des opérateurs d'un langage de listes
Castanet, R.
p. 19-36
A parenthesis machine for string manipulation
Dezani-Ciancaglini, Mariangiola
p. 37-46
Sur les termes nuls d'une suite récurrente cubique
Picon, P. A.
p. 47-61
Paradis terrestre dans l'automate cellulaire de Conway
Hardouin-Duparc, J.
p. 63-71
Topological automata
Ehrig, Hartmut
;
Kühnel, Wolfgang
p. 73-91
