RAIRO. Informatique théorique

Free Access

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

Stephan Heilbrunner

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140201311

• Abstract
• PDF (825 KB)
• References

Free Access

Une généralisation de la théorie des types en $\lambda $-calcul p. 143

Patrick Sallé

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140201431

• Abstract
• PDF (2.07 MB)
• References

Free Access

Classes of languages proof against regular pumping p. 169

R. Sommerhalder

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140201691

• Abstract
• PDF (1002 KB)
• References

Free Access

Mots de Lyndon et périodicité p. 181

Jean-Pierre Duval

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140201811

• Abstract
• PDF (1010 KB)
• References

Free Access

Verschränkte homomorphismen formaler sprachen p. 193

Günter Hotz

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140201931

• Abstract
• PDF (1.13 MB)
• References

Free Access

Factorisation des polynômes à plusieurs variables p. 209

Guy Viry

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140202091

• Abstract
• PDF (1.08 MB)
• References

Free Access

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

Helmut Prodinger

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140202251

• Abstract
• PDF (950 KB)
• References