Tome 17 (1983) no. 1

Sommaire

Characterization of rational and algebraic power series
p. 3-11
On the separating power of EOL systems
p. 13-22
Deux remarques sur un théorème de S. Eilenberg
p. 23-48
Independent instances for some undecidable problems
p. 49-54
Top-down mathematical semantics and symbolic execution
p. 55-70
Right and left invertibility in λ-β-calculus
p. 71-88