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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité