The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains

DOI10.1007/978-3-030-17127-8_14OpenAlexW2934959668MaRDI QIDQ2289076

Mnacho Echenim, Nicolas Peltier, Radu Iosif

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_14

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (4)

Separation logic and logics with team semantics ⋮ Strong-separation logic ⋮ Compositional satisfiability solving in separation logic ⋮ Unnamed Item

This page was built for publication: The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains