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

Yves Robert, Maurice Tchuente: Réseaux Systoliques Pour des Problèmes de Mots. 107-123 BibTeX
Luc Boasson: Non-Générateurs Algébriques et Substitution. 125-136 BibTeX
Philippe Flajolet, Thomas Ottmann, Derick Wood: Search Trees and Bubble Memories. 137-164 BibTeX
Max Vincent: Construction de Codes Indécomposables. 165-178 BibTeX
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 BibTeX

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

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