Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Volume 14 (1980)
  • no. 2

Volume 14 (1980) no. 2

Table of contents


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
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of