Reports
Year : 1986
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00076057
Submitted on : Wednesday, May 24, 2006-7:53:03 PM
Last modification on : Tuesday, February 7, 2023-3:41:29 AM
Long-term archiving on: Friday, May 13, 2011-5:49:08 PM
Dates and versions
Identifiers
- HAL Id : inria-00076057 , version 1
Cite
C. Mohring. Exemples de developpement de programmes dans la theorie des constructions. RR-0497, INRIA. 1986. ⟨inria-00076057⟩
Collections
40
View
42
Download