![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Informatique Théorique et Applications, Volume 10
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.