Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28585 articles – 22070 Notices
[english version]
.:.
Consultation
>
Par auteur
> Anderson .:.
2 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
Representing proof transformations for program optimization
Anderson P.
N° RR-2229 (1994) [inria-00074441 - version 1]
Program extraction in a logical framework setting
Anderson P.
N° RR-2261 (1994) [inria-00074410 - version 1]
