On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic
The work
| Title | On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic |
|---|---|
| Authors | Mnacho Echenim; Radu Iosif; Nicolas Peltier |
| Type | preprint |
| Year | 2018 |
| Citekey | echenim2018expressive |
Where it appeared
| Publisher | arXiv |
|---|
Identifiers
| DOI | 10.48550/arxiv.1802.00195 |
|---|
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
@misc{echenim2018expressive,
title = {On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic},
author = {Mnacho Echenim and Radu Iosif and Nicolas Peltier},
year = {2018},
publisher = {arXiv},
doi = {10.48550/arxiv.1802.00195},
}
This record lives at https://refs.drheap.org/echenim2018expressive/ and will keep doing so.