Sommaire du Fascicule no. 1

Grammaires parenthésées et bilangages réguliers
On some properties of the syntactic semigroup of a very pure subsemigroup
Sur l'élimination itérative des situations de blocage dans un système
Two-way multihead automata over a one-letter alphabet
Construction, évaluation et amélioration systématiques de structures de données
Some consequences of a result of Ehrenfeucht and Rozenberg

Sommaire du Fascicule no. 2

An algorithm for the solution of fixed-point equations for infinite words
Une généralisation de la théorie des types en λ-calcul
Classes of languages proof against regular pumping
Mots de Lyndon et périodicité
Verschränkte homomorphismen formaler sprachen
Factorisation des polynômes à plusieurs variables
Topologies on free monoids induced by closure operators of a special type

Sommaire du Fascicule no. 3

Systèmes de déduction pour les arbres et les schémas de programmes (I)
Computing of graphs of relations using generative grammars
Une généralisation de la théorie des types en λ-calcul (II)

Sommaire du Fascicule no. 4

Nondeterminism and fully abstract models
On the equality sets for homomorphisms on free monoids with two generators
Détermination de la représentation standard d'une série reconnaissable