Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 14 (1980)
no. 2
Précédent
Suivant
Volume 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
λ
-calcul
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