Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Mnacho Echenim, Radu Iosif, Nicolas Peltier. The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates. ACM Trans. Comput. Log., 21(3), 2020. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary DomainsMnacho Echenim, Radu Iosif, Nicolas Peltier. fossacs 2019: 242-259 [doi] Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation LogicAndrew Reynolds, Radu Iosif, Cristina Serban. vmcai 2017: 462-482 [doi]
The following publications are possibly variants of this publication: