A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving release_nlidbpgmgvhzfd6rsmei4iwv6u

by Freek Wiedijk

Published in Logical Methods in Computer Science by Logical Methods in Computer Science e.V..

2012  

Archived Files and Locations

application/pdf  261.7 kB
file_lphgwstzmvcv5dvdwwqcdnwqau
lmcs.episciences.org (web)
web.archive.org (webarchive)
application/pdf  293.3 kB
file_iixmrhqdt5awllxnblkhw4fytm
repository.ubn.ru.nl (web)
web.archive.org (webarchive)
application/pdf  245.9 kB
file_oe5adrem6zhv3bsqxknzb2cqaa
www.cs.ru.nl (web)
www.cs.ru.nl (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cs.ru.nl (web)
+ 1 more URLs
application/pdf  293.3 kB
file_lcnxepwot5fn3cvx33nlt6od5a
repository.ubn.ru.nl (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2012-03-28
Language   en ?
Container Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  1860-5974
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 9c415a59-5d05-4c8c-b15d-17acf44d7add
API URL: JSON