Informatique Théorique et Applications, Volume 19, 1985

Volume 19, Number 1, 1985

Jean-Paul Delahaye: Sur Quelques Limitations des Algorithmes Dans Le Traitement des Suites. 3-20
Robert Cori, Dominique Perrin: Automates et Commutations Partielles. 21-32
Raul Kantor, Giovanna Sontacchi: Un Interprète Lisp de La Programmation Fonctionnelle Réalisé Par des Combinateurs. 33-41
Andrzej Ehrenfeucht, Grzegorz Rozenberg: Strong Iterative Pairs and The Regularity of Context-Free Languages. 43-56
Giuseppina Rindone: Sur Les Groupes Syntaxiques D'un Langage. 57-70
Jean-Pierre Pécuchet: Automates Boustrophedon, Semi-Groupe de Birget et Monoide Inversif Libre. 71-100

Yves Robert, Maurice Tchuente: Réseaux Systoliques Pour des Problèmes de Mots. 107-123
Luc Boasson: Non-Générateurs Algébriques et Substitution. 125-136
Philippe Flajolet, Thomas Ottmann, Derick Wood: Search Trees and Bubble Memories. 137-164
Max Vincent: Construction de Codes Indécomposables. 165-178
Jean-Luc Remy: Un Procédé Itératif de Dénombrement D'arbres Binaires et Son Application A Leur Génération Aléatoire. 179-195

Juhani Karhumäki, H. C. M. Kleijn: On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages. 203-211
E. Pichat: Algorithme de Décomposition de Clés. 213-232
Roman König: Reduction Algorithms for Some Classes of Aperiodic Monoids. 233-260
Fred Kröger: On Temporal Program Verification Rules. 261-280
Christophe Reutenauer: Sur Les Semi-Groupes Vérifiant Le Théorème de Kleene. 281-291
Alex Pelin: A Formalism for Treating Equivalence of Recursive Procedures. 293-313

Athanasios K. Tsakalidis: Rebalancing Operations for Deletions in AVL-Trees. 323-329
Michel Carvallo: Sur La Minimisation D'une Expression Représentant une Famille de Fonctions Booléennes. 331-336
Anton Cerný: On A Class of Infinite Words with Bounded Repetitions. 337-349
Philippe Gohon: Automates de Coût Borné Sur Un Alphabet A Une Lettre. 351-357
Hassan Aït-Kaci: An Algorithm for Finding A Minimal Recursive Path Ordering. 359-382
Clelia de Felice, Antonio Restivo: Some Results On Finite Maximal Codes. 383-403