Separation logic and logics with team semantics

Haase, Darion; Grädel, Erich (Corresponding author); Wilke, Richard Marlon

Amsterdam [u.a.] : Elsevier (2021, 2022)
Contribution to a conference proceedings, Journal Article

In: Annals of pure and applied logic
Volume: 173
Issue: 10
Page(s)/Article-Nr.: 103063