BibTeX
CSL-JSON
MLA
Harvard
Proof checking and logic programming
release_deqb2aqdt5h5lanahxijfqlwlm
by
Dale Miller
Published
in ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming by ACM Press.
2015 p18
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
Stage
Year 2015
paper-conference
Stage
published
Year 2015
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar