Volume 10,
Number 1,
Mars 1976
- André Arnold, Max Dauchet:
Transductions de Forets Reconnaissables Monadiques Forets Coregulieres.
5-28
- Juris Hartmanis:
On Effective Speed-Up and Long Proofs of Trivial Theorems in Formal Theories.
29-38
- M. Gondran:
Valeurs Propres et Vecteurs Propres en Calssification Hiérarchique.
39-46
- Gérard Berry:
Bottom-Up Computation of Recursive Programs.
47-82
- Jean-Claude Bermond, Yves Kodratoff:
Une Heuristique pour le Calcul de l'Indice de Transitivité d'un Tournoi.
83-92
Volume 10,
Number 2,
Août 1976
- Jean-Pierre Finance:
Une Formalisation de la Sémantique des Langages de Programmation.
5-32
- Janusz A. Brzozowski:
Hierarchies of Aperiodic Languages.
33-49
- Maurice Mignotte:
Sur la Complexité de Certains Algorithmes ou Intervient la Séparation des Racines d'un Polynome.
51-55
- Pierre Lescanne:
Équivalence Entre la Famille des Ensembles Réguliers et la Famille des Ensembles Algébriques.
57-81
Volume 10,
Number 3,
Décembre 1976
- Jean-Pierre Finance:
Une Formalisation de la Sémantique des Langages de Programmation.
5-21
- Matti Soittola:
Remarks on DOL Growth Sequences.
23-34
- Jean Françon:
Arbres Binaires de Recherche: Propriétés Combinatioires et Applications.
35-50
Copyright © Mon Nov 2 21:42:09 2009
by Michael Ley (ley@uni-trier.de)
