default search action
Informatique Théorique et Applications, Volume 19
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 Tchuenté:
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 Rémy:
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
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.