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

Volume 19, Number 2, 1985

• 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

Volume 19, Number 3, 1985

• 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

Volume 19, Number 4, 1985

• 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

Last update Mon May 20 01:07:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page