A Simple Separation Logic
From MaRDI portal
Publication:2849430
DOI10.1007/978-3-642-39992-3_16zbMath1395.03017OpenAlexW162588085MaRDI QIDQ2849430
Publication date: 17 September 2013
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_16
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
Related Items (7)
A logic of separating modalities ⋮ An Epistemic Separation Logic ⋮ Separation logics and modalities: a survey ⋮ A public announcement separation logic ⋮ Resource separation in dynamic logic of propositional assignments ⋮ On Temporal and Separation Logics ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition
This page was built for publication: A Simple Separation Logic
