Free Access to the whole issue

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

• Abstract
• PDF (665 KB)
• References

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

• Abstract
• PDF (765 KB)
• References

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

• Abstract
• PDF (1.91 MB)
• References

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

• Abstract
• PDF (535 KB)
• References

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

• Abstract
• PDF (1.34 MB)
• References

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

• Abstract
• PDF (1.16 MB)
• References