Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3766073

Documents

In Collections

This item can be found in the following collections:

Boer, F.S. de; Hiep, H.A.; Gouw, C.P.T. de (2023)

The logic of separation logic: models and proofs

Article in monograph or in proceedings
All authors
Boer, F.S. de; Hiep, H.A.; Gouw, C.P.T. de
Editor(s)
Ramanayake, R.; Urban, J.
Date
2023
Title of host publication
Lecture Notes in Computer Science; Automated reasoning with analytic tableaux and related methods. TABLEAUX 2023
Pages
407 - 426
ISBN (print)
9783031435126
ISBN (electronic)
9783031435133
DOI
doi:10.1007/978-3-031-43513-3_22

Publication Series

Name
14278

Conference

Conference
32nd International Conference, TABLEAUX 2023
Date
2023-09-18 - 2023-09-21
Location
Prague, Czechia