Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 17 (1983)
no. 1
Précédent
Suivant
Volume 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
λ
-
β
-calculus
Margaria, I.
;
Zacchi, M.
p. 71-88