RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983) no. 1

Sommaire

Characterization of rational and algebraic power series

Wechler, Wolfgang

p. 3-11

On the separating power of EOL systems

Ehrenfeucht, A. ; Rozenberg, G.

p. 13-22

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

Sakarovitch, Jacques

p. 23-48

Independent instances for some undecidable problems

Calude, Cristian ; Păun, Gheorghe

p. 49-54

Top-down mathematical semantics and symbolic execution

Lévi, G. ; Pegna, A. M.

p. 55-70

Right and left invertibility in

λ - β

Margaria, I. ; Zacchi, M.

p. 71-88