Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 17 (1983)
no. 1
Table of contents
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
λ
-
β
-calculus
Margaria, I.
;
Zacchi, M.
p. 71-88
