The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Bunched Logics Displayed

The work

AuthorsJ. Brotherston
Editors
Typemisc
Year2012
Also known asanon2012bunched
Citekeybrotherston2012bunched

Where it appeared

PublisherSpringer Science and Business Media LLC

How it got here

How it got hereagent via unpaywall
Added2026-10-24 16:05 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

separation-logic

Cite it as

@misc{brotherston2012bunched,
  title        = {Bunched Logics Displayed},
  author       = {J. Brotherston},
  year         = {2012},
  publisher    = {Springer Science and Business Media LLC},
  doi          = {10.1007/s11225-012-9449-0},
}

This record lives at https://refs.drheap.org/brotherston2012bunched/ and will keep doing so. It used to be called anon2012bunched, and those addresses still resolve to this one.