Compositional satisfiability solving in separation logic

DOI10.1007/978-3-030-67067-2_26zbMath1472.03025MaRDI QIDQ2234106

Quang Loc Le

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_26

zbMATH Keywords

satisfiability; separation logic; regular proofs

Mathematics Subject Classification ID

03B70: Logic in computer science

03B25: Decidability of theories and sets of sentences

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)