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 14 (1980)
no. 3
Précédent Suivant

Volume 14 (1980) no. 3

Sommaire


Systèmes de déduction pour les arbres et les schémas de programmes (I)
Enjalbert, P. 
p. 247-278

Computing of graphs of relations using generative grammars
Simovici, Dan A. 
p. 279-299

Une généralisation de la théorie des types en λ-calcul (II)
Sallé, Patrick 
p. 301-314
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité