Informatique Théorique et Applications, Volume 10, 1976

Volume 10, Number 1, Mars 1976

• André Arnold, Max Dauchet: Transductions de Forets Reconnaissables Monadiques Forets Coregulieres. 5-28 BibTeX
• Juris Hartmanis: On Effective Speed-Up and Long Proofs of Trivial Theorems in Formal Theories. 29-38 BibTeX
• M. Gondran: Valeurs Propres et Vecteurs Propres en Calssification Hiérarchique. 39-46 BibTeX
• Gérard Berry: Bottom-Up Computation of Recursive Programs. 47-82 BibTeX
• Jean-Claude Bermond, Yves Kodratoff: Une Heuristique pour le Calcul de l'Indice de Transitivité d'un Tournoi. 83-92 BibTeX

Volume 10, Number 2, Août 1976

• Jean-Pierre Finance: Une Formalisation de la Sémantique des Langages de Programmation. 5-32 BibTeX
• Janusz A. Brzozowski: Hierarchies of Aperiodic Languages. 33-49 BibTeX
• Maurice Mignotte: Sur la Complexité de Certains Algorithmes ou Intervient la Séparation des Racines d'un Polynome. 51-55 BibTeX
• Pierre Lescanne: Équivalence Entre la Famille des Ensembles Réguliers et la Famille des Ensembles Algébriques. 57-81 BibTeX

Volume 10, Number 3, Décembre 1976

• Jean-Pierre Finance: Une Formalisation de la Sémantique des Langages de Programmation. 5-21 BibTeX
• Matti Soittola: Remarks on DOL Growth Sequences. 23-34 BibTeX
• Jean Françon: Arbres Binaires de Recherche: Propriétés Combinatioires et Applications. 35-50 BibTeX