Informatique Théorique et Applications, Volume 14, 1980

Volume 14, Number 1, 1980

P. Marchand: Grammaires Parenthésées et Bilangages Réguliers. 3-38 BibTeX
Aldo de Luca: On Some Properties of the Syntactic Semigroup of a Very Pure Subsemigroup. 39-56 BibTeX
Maurice Tchuente: Sure l'Émitation Itérative des Situations de Blocage dans un Système. 57-66 BibTeX
Burkhard Monien: Two-Way Multihead Automata Over a One-Letter Alphabet. 67-82 BibTeX
Jean-Luc Remy: Construction, Évaluation et Amélioration Systématiques de Structures de Données. 83-118 BibTeX
Gheorghe Paun: Some Consequences of a Result of Ehrenfeucht and Rozenberg. 119-122 BibTeX

Stephan Heilbrunner: An Algorithm for the Solution of Fixed-Point Equations for Infinite Words. 131-141 BibTeX
Patrick Sallé: Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). 143-167 BibTeX
R. Sommerhalder: Classes of Languages Proof Against Regular Pumping. 169-180 BibTeX
Jean-Pierre Duval: Mots de Lyndon et Périodicité. 181-191 BibTeX
Günter Hotz: Verschränkte Homomorphismen Formaler Sprachen. 193-208 BibTeX
Guy Viry: Factorisation des Polynomes a Plusieurs Variables. 209-223 BibTeX
Helmut Prodinger: Topologies on Free Monoids Induced by Closure Operators of a Special Type. 225-237 BibTeX

Patrice Enjalbert: Systèmes de Déduction pour les Arbres et les Schémas de Programmes. 247-278 BibTeX
Dan A. Simovici: Computing of Graphs of Relations Using Generative Grammars. 279-299 BibTeX
Patrick Sallé: Une Généralisation de la Théorie des Types en lambda-Calcul (II). 301-314 BibTeX

Egidio Astesiano, Gerardo Costa: Nondeterminism and Fully Abstract Models. 323-347 BibTeX
Karel Culik II, Juhani Karhumäki: On the Equality Sets for Homomorphisms on Free Monoids with Two Generators. 349-369 BibTeX
A. Cardon, Maxime Crochemore: Détermination de la Représentation Standard d'une Série Reconnaissable. 371-379 BibTeX