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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité