A Decision Procedure for Satisfiability in Separation Logic with Inductive Definitions
The work
| Title | A Decision Procedure for Satisfiability in Separation Logic with Inductive Definitions |
|---|---|
| Authors | James Brotherston; Carsten Fuhs; Juan A. Navarro Pérez; Nikos Gorogiannis |
| Type | conference paper |
| Year | 2014 |
| Citekey | brotherston2014decision |
Where it appeared
| Published in | Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| Publisher | Association for Computing Machinery |
| Pages | 1--10 |
Identifiers
| DOI | 10.1145/2603088.2603091 |
|---|
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-18 |
| Record | reviewed by a person |
| Approved | 2026-08-18 |
Cite it as
@inproceedings{brotherston2014decision,
title = {A Decision Procedure for Satisfiability in Separation Logic with Inductive Definitions},
author = {James Brotherston and Carsten Fuhs and Juan A. Navarro Pérez and Nikos Gorogiannis},
year = {2014},
booktitle = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
pages = {1--10},
publisher = {Association for Computing Machinery},
doi = {10.1145/2603088.2603091},
}
This record lives at https://refs.drheap.org/brotherston2014decision/ and will keep doing so.