Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • 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
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de