Logical Investigations on Separation Logics
The work
| Authors | Stéphane Demri; Morgan Deters |
|---|---|
| Editors | |
| Type | misc |
| Year | 2015 |
| Citekey | demri2015logical |
Where it appeared
| Published in | 27th European Summer School in Logic, Language and Information (ESSLLI 2015) |
|---|---|
| Pages | 1--195 |
Access
| URL | https://hal.science/hal-03187866v1 |
|---|---|
| Free full text | https://hal.science/hal-03187866v1/document |
Settled
| Abstract | No abstract, and none is possible for the genre. This is a 196-leaf set of ESSLLI 2015 course notes -- 'LOGICAL INVESTIGATIONS ON SEPARATION LOGICS (draft) / EUROPEAN SUMMER SCHOOL ON LOGIC, LANGUAGE AND INFORMATION / BARCELONA, SPAIN, AUGUST 2015' on leaf 2, which is the title page proper; leaf 1 is a HAL cover sheet giving the deposit id hal-03187866 and the recommended citation. Lecture notes are not a paper and carry no abstract; leaf 3 is already page 2 of the body. Established by reading leaves 1 to 3. Worth noting for anyone who reaches for this record's content: an existing note records that this survey was used as a coverage probe against the corpus, and that of its 166 references 37 matched a held record. The document's value here is partly as a bibliography, and a bibliography has no abstract either. |
|---|
A copy is held
pdf, 1.5 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-17 08:40 UTC |
Filed under
Cite it as
@misc{demri2015logical,
title = {Logical Investigations on Separation Logics},
author = {Stéphane Demri and Morgan Deters},
year = {2015},
journal = {27th European Summer School in Logic, Language and Information (ESSLLI 2015)},
pages = {1--195},
}
This record lives at https://refs.drheap.org/demri2015logical/ and will keep doing so.