BibTeX
CSL-JSON
MLA
Harvard
Separation logic: a logic for shared mutable data structures
release_234m4gjlvfeojmltv7jrsmjc7e
by
J.C. Reynolds
Archived Files and Locations
application/pdf 490.4 kB
file_dx4h33buknex5adts5dcjieyty
|
www-i2.informatik.rwth-aachen.de (web) web.archive.org (webarchive) web.archive.org (webarchive) www-i2.informatik.rwth-aachen.de:80 (web) web.archive.org (webarchive) |
application/pdf 312.1 kB
file_2g6f77mkfrf25nxqki3agntcqu
|
staff.um.edu.mt (web) web.archive.org (webarchive) |
application/pdf 284.9 kB
file_kebnrpfwdne67e3ht7yf6vlecq
|
cs.tau.ac.il (web) www.comp.nus.edu.sg:80 (web) web.archive.org (webarchive) web.archive.org (webarchive) |
application/pdf 130.8 kB
file_bxpo5alnr5djrg3p52earsvqhi
|
www.comp.nus.edu.sg (web) web.archive.org (webarchive) |
application/pdf 281.1 kB
file_eiygmpmakvekfhm54b6cce4fs4
|
web.archive.org (webarchive) ttic.uchicago.edu:80 (web) |
application/pdf 305.4 kB
file_ucojssb6v5anbeamakpdwdlgaq
|
web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) users.dimi.uniud.it (web) + 14 more URLs |
Read Archived PDF
Preserved and Accessible
Type
Stage
paper-conference
Stage
published
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