Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Connexion avec ORCID
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Déposer
Consulter tout HAL
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
les derniers dépôts
Publications Inria
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
inria-00076057, version 1
Exemples de developpement de programmes dans la theorie des constructions
C. Mohring
1
Détails
1
INRIA Rocquencourt
C. Mohring
1
AuthorId : 102581
Auteur
1
INRIA Rocquencourt
(Domaine de Voluceau-Rocquencourt BP 105 78153 Le Chesnay Cedex - France)
StructId : 34587
Inria - Institut National de Recherche en Informatique et en Automatique
(Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
StructId : 300009
Masquer les détails
Type de document
:
Rapport
RR-0497, INRIA. 1986
Domaine
:
Informatique [cs]
/
Autre [cs.OH]
Liste complète des métadonnées
Voir
Masquer
https://hal.inria.fr/inria-00076057
Contributeur :
Rapport de Recherche Inria
<
>
Soumis le : mercredi 24 mai 2006 - 19:53:03
Dernière modification le : vendredi 16 septembre 2016 - 15:12:08
Document(s) archivé(s) le : vendredi 13 mai 2011 - 17:49:08
Fichiers
RR-0497.pdf
Identifiants
HAL Id :
inria-00076057, version 1
Collections
INRIA
|
INRIA-RRRT
|
LARA
Citation
C. Mohring. Exemples de developpement de programmes dans la theorie des constructions. RR-0497, INRIA. 1986.
〈inria-00076057〉
Exporter
BibTeX
TEI
DC
DCterms
EndNote
Partager
Métriques
Consultations de la notice
98
Téléchargements de fichiers
96
