The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates

The work

TitleThe Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates
AuthorsMnacho Echenim; Radu Iosif; Nicolas Peltier
Typearticle
Year2020
Citekeyechenim2020bernays

Where it appeared

Published inACM Transactions on Computational Logic (TOCL)
Volume21
Issue3
Pages1--46

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07

Cite it as

@article{echenim2020bernays,
  title = {The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates},
  author = {Mnacho Echenim and Radu Iosif and Nicolas Peltier},
  year = {2020},
  journal = {ACM Transactions on Computational Logic (TOCL)},
  volume = {21},
  number = {3},
  pages = {1--46},
}

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