BibTeX
CSL-JSON
MLA
Harvard
Extracting verified decision procedures: DPLL and Resolution
release_v77khapeqzghhhxduaxephewwq
by
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger
Published
in Logical Methods in Computer Science by Logical Methods in Computer Science e.V..
2015 Volume 11
Archived Files and Locations
application/pdf 236.7 kB
file_3e3rm6ookjcwrasaw2f7kdpoz4
|
cronfa.swan.ac.uk (repository) web.archive.org (webarchive) |
application/pdf 331.0 kB
file_hljbr43q65fudili7iq47xzahi
|
web.archive.org (webarchive) cs.swansea.ac.uk (web) |
application/pdf 270.0 kB
file_7itsuf3o2rbupju5k566q55aje
|
web.archive.org (webarchive) strathprints.strath.ac.uk (web) |
application/pdf 229.2 kB
file_gpakw2dxyrbsrhkdxnz7wz355y
|
web.archive.org (webarchive) personal.cis.strath.ac.uk (web) |
application/pdf 331.0 kB
file_exsub75ytbarzmhernjma4nowq
|
web.archive.org (webarchive) cs.swan.ac.uk (web) |
application/pdf 270.0 kB
file_py72hi2pf5ea3n2nbemg5qfo64
|
web.archive.org (webarchive) strathprints.strath.ac.uk (web) |
application/pdf 229.2 kB
file_6kon6ogqmvc6xp45qmdgus5zxu
|
web.archive.org (webarchive) lmcs.episciences.org (web) |
application/pdf 269.2 kB
file_gubguxxcprfstfy3hxgggousmm
|
core.ac.uk (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Container Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:
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)
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
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar