par Le Roux, Stephane ;Martin-Dorel, Érik;Smaus, Jan Georg
Référence Electronic proceedings in theoretical computer science, 256, page (46-60)
Publication Publié, 2017-09
Article révisé par les pairs
Titre:
  • An existence theorem of nash equilibrium in Coq and Isabelle
Auteur:Le Roux, Stephane; Martin-Dorel, Érik; Smaus, Jan Georg
Informations sur la publication:Electronic proceedings in theoretical computer science, 256, page (46-60)
Statut de publication:Publié, 2017-09
Sujet CREF:Généralités
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:2075-2180
info:doi/10.4204/EPTCS.256.4
info:scp/85030125827