Logical Investigations on Separation Logics
The work
| Title | Logical Investigations on Separation Logics |
|---|---|
| Authors | Stéphane Demri; Morgan Deters |
| Type | conference paper |
| Year | 2015 |
| Citekey | demri2015logical |
Where it appeared
| Published in | 27th European Summer School in Logic, Language and Information (ESSLLI 2015) |
|---|---|
| Pages | 1--195 |
Access
| Free full text | https://hal.science/hal-03187866v1/document |
|---|
Copy held
| Kind | PDF, 1.5 MB |
|---|---|
| Retrieved | 2026-08-07 |
| Held | local, for personal reference |
| Opens at | page 2 |
| Where it came from | https://hal.science/hal-03187866v1/document |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{demri2015logical,
title = {Logical Investigations on Separation Logics},
author = {Stéphane Demri and Morgan Deters},
year = {2015},
booktitle = {27th European Summer School in Logic, Language and Information (ESSLLI 2015)},
pages = {1--195},
url = {https://hal.science/hal-03187866v1/document},
}
This record lives at https://refs.drheap.org/demri2015logical/ and will keep doing so.