Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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
λ
-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