ITA, Tome 10 (1976)

Sommaire

Access to full text
Full (PDF)
Full (DJVU)

p. 3

Numdam

Une formalisation de la sémantique des langages de programmation

Access to full text
Full (PDF)
Full (DJVU)

p. 5-21

Numdam

Transductions de forêts reconnaissables monadiques, forêts corégulières

Arnold, André ; Dauchet, Max

Access to full text
Full (PDF)
Full (DJVU)

p. 5-28

Numdam

Une formalisation de la sémantique des langages de programmation

Access to full text
Full (PDF)
Full (DJVU)

p. 5-32

Numdam

Remarks on DOL growth sequences

Soittola, Matti

Access to full text
Full (PDF)
Full (DJVU)

p. 23-34

Numdam

On effective speed-up and long proofs of trivial theorems in formal theories

Access to full text
Full (PDF)
Full (DJVU)

p. 29-38

Numdam

Hierarchies of aperiodic languages

Brzozowski, Janusz A.

Access to full text
Full (PDF)
Full (DJVU)

p. 33-49

Numdam

Arbres binaires de recherche : propriétés combinatoires et applications

Access to full text
Full (PDF)
Full (DJVU)

p. 35-50

Numdam

Valeurs propres et vecteurs propres en classification hiérarchique

Access to full text
Full (PDF)
Full (DJVU)

p. 39-46

Numdam

Bottom-up computation of recursive programs

Access to full text
Full (PDF)
Full (DJVU)

p. 47-82

Numdam

Sur la complexité de certains algorithmes où intervient la séparation des racines d'un polynôme

Mignotte, Maurice

Access to full text
Full (PDF)
Full (DJVU)

p. 51-55

Numdam

Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques

Lescanne, Pierre

Access to full text
Full (PDF)
Full (DJVU)

p. 57-81

Numdam

Une heuristique pour le calcul de l'indice de transitivité d'un tournoi

Bermond, J.-C. ; Kodratoff, Y.

Access to full text
Full (PDF)
Full (DJVU)

p. 83-92

Numdam