Subscriber Authentication Point

Volume 17 / No 1 (1983)

Free Access to the whole issue

Export the citation of the selected articles Export
Select all

RAIRO. Informatique théorique

Volume 17 / No 1 (1983)

Free Access

Characterization of rational and algebraic power series p. 3

Wolfgang Wechler

Published online: 01 February 2017

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

Free Access

On the separating power of EOL systems p. 13

A. Ehrenfeucht and G. Rozenberg

Published online: 01 February 2017

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

Free Access

Deux remarques sur un théorème de S. Eilenberg p. 23

Jacques Sakarovitch

Published online: 01 February 2017

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

Free Access

Independent instances for some undecidable problems p. 49

Cristian Calude and Gheorghe Păun

Published online: 01 February 2017

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

Free Access

Top-down mathematical semantics and symbolic execution p. 55

G. Lévi and A. M. Pegna

Published online: 01 February 2017

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

Free Access

Right and left invertibility in $\lambda - \beta $-calculus p. 71

I. Margaria and M. Zacchi

Published online: 01 February 2017

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