Looking at Separation Algebras with Boolean BI-eyes

DOI10.1007/978-3-662-44602-7_25zbMath1418.03142OpenAlexW608917308MaRDI QIDQ3190171

Dominique Larchey-Wendling, Didier Galmiche

Publication date: 15 September 2014

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44602-7_25

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25)

Related Items

A stone-type duality theorem for separation logic via its underlying bunched logics, Completeness for a First-Order Abstract Separation Logic, Unnamed Item, Unnamed Item