Biabduction (and Related Problems) in Array Separation Logic

The work

TitleBiabduction (and Related Problems) in Array Separation Logic
AuthorsJames Brotherston; Nikos Gorogiannis; Max Kanovich
Typeconference paper
Year2017
Citekeybrotherston2017biabduction

Where it appeared

Published inAutomated Deduction – CADE 26
PublisherSpringer
Pages472--490

Identifiers

DOI10.1007/978-3-319-63046-5_29
OpenAlexW2464970761

Access

Landing pagehttps://doi.org/10.1007/978-3-319-63046-5_29
Free full texthttps://arxiv.org/pdf/1607.01993

Copy held

KindPDF, 442.6 kB
Retrieved2026-08-05
Heldlocal, for personal reference
Where it came fromhttps://arxiv.org/pdf/1607.01993

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Conference on Automated Deduction (CADE) venue Lecture Notes in Computer Science series

Cite it as

@inproceedings{brotherston2017biabduction,
  title = {Biabduction (and Related Problems) in Array Separation Logic},
  author = {James Brotherston and Nikos Gorogiannis and Max Kanovich},
  year = {2017},
  booktitle = {Automated Deduction – CADE 26},
  pages = {472--490},
  publisher = {Springer},
  doi = {10.1007/978-3-319-63046-5_29},
  url = {https://arxiv.org/pdf/1607.01993},
}

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