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 |
Empty on purpose
| abstract |
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.