Internal Calculi for Separation Logic

DOI10.4230/LIPIcs.CSL.2020.19OpenAlexW3003218153MaRDI QIDQ5874205

Stéphane P. Demri, Alessio Mansutti, Etienne Lozes

Publication date: 7 February 2023

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

zbMATH Keywords

separation logicinternal calculusadjunct/quantifier elimination

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

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