Proof checking and logic programming release_deqb2aqdt5h5lanahxijfqlwlm

by Dale Miller

Archived Files and Locations

application/pdf  479.8 kB
file_oeywrmr4hzhwzjzq7tkchqbora
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  303.5 kB
file_yeojngg7lbb4ppy3tzaazegq7e
www.lix.polytechnique.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2015
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4edfff67-f4d6-44fb-bd24-8fe0a5a2a009
API URL: JSON