Foundations for Decision Problems in Separation Logic with General Inductive Predicates

The work

TitleFoundations for Decision Problems in Separation Logic with General Inductive Predicates
AuthorsTimos Antonopoulos; Nikos Gorogiannis; Christoph Haase; Max Kanovich; Joël Ouaknine
Typeconference paper
Year2014
Citekeyantonopoulos2014foundations

Where it appeared

Published inFoundations of Software Science and Computation Structures
PublisherSpringer
Volume8412
Pages411--425

Identifiers

DOI10.1007/978-3-642-54830-7_27
OpenAlexW122465024
ISBN978-3-642-54830-7

Access

Landing pagehttps://doi.org/10.1007/978-3-642-54830-7_27
Free full texthttps://link.springer.com/content/pdf/10.1007/978-3-642-54830-7_27.pdf

Copy held

KindPDF, 297.3 kB
Retrieved2026-08-06
Heldlocal, for personal reference
Where it came fromhttps://link.springer.com/content/pdf/10.1007/978-3-642-54830-7_27.pdf?error=cookies_not_supported&code=d583698e-d20a-4a5b-8151-8ab563ed59d7

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Foundations of Software Science and Computation Structures (FoSSaCS) venue Lecture Notes in Computer Science series

Cite it as

@inproceedings{antonopoulos2014foundations,
  title = {Foundations for Decision Problems in Separation Logic with General Inductive Predicates},
  author = {Timos Antonopoulos and Nikos Gorogiannis and Christoph Haase and Max Kanovich and Joël Ouaknine},
  year = {2014},
  booktitle = {Foundations of Software Science and Computation Structures},
  volume = {8412},
  pages = {411--425},
  publisher = {Springer},
  doi = {10.1007/978-3-642-54830-7_27},
  isbn = {978-3-642-54830-7},
  url = {https://link.springer.com/content/pdf/10.1007/978-3-642-54830-7_27.pdf},
}

This record lives at https://refs.drheap.org/antonopoulos2014foundations/ and will keep doing so.