Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • 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
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de