Tome 14 (1980) no. 2

Sommaire

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