RAIRO. Informatique théorique, Tome 14 (1980) no. 2

Sommaire

An algorithm for the solution of fixed-point equations for infinite words

Heilbrunner, Stephan

p. 131-141

Une généralisation de la théorie des types en

λ

Sallé, Patrick

p. 143-167

Classes of languages proof against regular pumping

Sommerhalder, R.

p. 169-180

Mots de Lyndon et périodicité

Duval, Jean-Pierre

p. 181-191

Verschränkte homomorphismen formaler sprachen

Hotz, Günter

p. 193-208

Factorisation des polynômes à plusieurs variables

Viry, Guy

p. 209-223

Topologies on free monoids induced by closure operators of a special type

Prodinger, Helmut

p. 225-237