Undecidability of propositional separation logic and its neighbours
The work
| Title | Undecidability of propositional separation logic and its neighbours |
|---|---|
| Authors | James Brotherston; Max Kanovich |
| Type | conference paper |
| Year | 2010 |
| Citekey | brotherston2010undecidability |
Where it appeared
| Published in | 25th IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| Publisher | IEEE |
| Pages | 130--139 |
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{brotherston2010undecidability,
title = {Undecidability of propositional separation logic and its neighbours},
author = {James Brotherston and Max Kanovich},
year = {2010},
booktitle = {25th IEEE Symposium on Logic in Computer Science (LICS)},
pages = {130--139},
publisher = {IEEE},
}
This record lives at https://refs.drheap.org/brotherston2010undecidability/ and will keep doing so.