Skip to Main content Skip to Navigation
Lectures

Logical Investigations on Separation Logics (ESSLLI 2015)

Document type :
Lectures
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03187866
Contributor : Stéphane Demri <>
Submitted on : Thursday, April 1, 2021 - 2:24:21 PM
Last modification on : Sunday, April 11, 2021 - 3:06:14 AM

File

DD-esslli15.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03187866, version 1

Collections

Citation

Stéphane Demri, Morgan Deters. Logical Investigations on Separation Logics (ESSLLI 2015). Doctoral. Barcelona, Spain. 2015, pp.195. ⟨hal-03187866⟩

Share

Metrics

Record views

7