Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
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
λ
-
β
-calculus
Margaria, I.
;
Zacchi, M.
p. 71-88