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 10 (1976)
Sommaire du
Fascicule no. R1
Transductions de forêts reconnaissables monadiques, forêts corégulières
Arnold, André
;
Dauchet, Max
p. 5-28
On effective speed-up and long proofs of trivial theorems in formal theories
Hartmanis, J.
p. 29-38
Valeurs propres et vecteurs propres en classification hiérarchique
Gondran, M.
p. 39-46
Bottom-up computation of recursive programs
Berry, G.
p. 47-82
Une heuristique pour le calcul de l'indice de transitivité d'un tournoi
Bermond, J.-C.
;
Kodratoff, Y.
p. 83-92
Sommaire du
Fascicule no. R2
Éditorial
ITA
p. 3
Une formalisation de la sémantique des langages de programmation
Finance, J.-P.
p. 5-32
Hierarchies of aperiodic languages
Brzozowski, Janusz A.
p. 33-49
Sur la complexité de certains algorithmes où intervient la séparation des racines d'un polynôme
Mignotte, Maurice
p. 51-55
Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques
Lescanne, Pierre
p. 57-81
Sommaire du
Fascicule no. R3
Une formalisation de la sémantique des langages de programmation
Finance, J.-P.
p. 5-21
Remarks on DOL growth sequences
Soittola, Matti
p. 23-34
Arbres binaires de recherche : propriétés combinatoires et applications
Françon, Jean
p. 35-50