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
|
|
2 |
Interoperability between proof systems using the logical framework Dedukti ; Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03224039 ; Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
|