Filtrer vos résultats
- 4
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
4 résultats
|
|
|
triés par
|
|
|
Des transformations logiques passent leur certificatJFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès
hal-02384946v2
|
||
|
|
SMTCoq: automatisation expressive et extensible dans CoqJFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
Communication dans un congrès
hal-02369249v1
|
||
|
|
Certification de la transformation de tâches de preuveLogique en informatique [cs.LO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG006⟩
Thèse
tel-03560564v1
|
||
|
|
Démonstration automatique en Coq[Travaux universitaires] Paris Diderot; Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2018
Rapport
hal-01874777v1
|