Internal Calculi for Separation Logic

DOI10.4230/LIPICS.CSL.2020.19MaRDI QIDQ5874205zbMATH OpenOpenAlexFDO

Authors Stéphane Demri, Etienne Lozes, Alessio Mansutti

Publication date 7 February 2023

Full work available at URL https://arxiv.org/abs/1910.05016

zbMATH Keywords

adjunct/quantifier eliminationinternal calculusseparation logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(1)

• A complete axiomatisation for quantifier-free separation logic

This page was built for publication: Internal Calculi for Separation Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874205)