- 1
- 1
Érik Martin-Dorel
2
Documents
Identifiants chercheurs
- erik-martin-dorel
- 0000-0001-9716-9491
- IdRef : 164762299
Présentation
Brought to you by HAL.
Brought to you by HAL.
Publications
- 2
- 2
- 1
- 2
Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017)Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France
Communication dans un congrès
hal-03131861v1
|
|
An Existence Theorem of Nash Equilibrium in Coq and Isabelle8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Sep 2017, Rome, Italy. pp.46-60, ⟨10.4204/EPTCS.256.4⟩
Communication dans un congrès
hal-03434697v1
|