HOCore in Coq release_3gwgchwquradjin6nmnvwn6eo4

by Petar Maksimović, Alan Schmitt

Published in Lecture Notes in Computer Science by Springer International Publishing.

2015   p278-293

Archived Files and Locations

application/pdf  723.5 kB
file_prxbk64mprcjzdvtpd5yqvdsxm
hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)
application/pdf  401.4 kB
file_aq35efk3gzhppoxeuosllsiham
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  685.8 kB
file_up5nsl7tcjcythoamso5ws6ldi
web.archive.org (webarchive)
hal.inria.fr (repository)
application/pdf  182.3 kB
file_7o56nzig4zapji7frdeql7b3ie
web.archive.org (webarchive)
people.rennes.inria.fr (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2015
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 27eccf56-bc9c-4b3d-b225-597100a443c2
API URL: JSON