1 |
Reasoning with separation logics : complexity, expressive power, proof systems ; Logiques de séparation : complexité, expressivité, calculs
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03094373 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG050⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
|