Formal proofs and certified computation in Coq (The French Symposium on Games - Theory and Applications, Université Paris Diderot, 26/05/15-30/05/15) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Formal proofs and certified computation in Coq (The French Symposium on Games - Theory and Applications, Université Paris Diderot, 26/05/15-30/05/15)

Domaines

Informatique [cs]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03193111

Soumis le : jeudi 8 avril 2021-15:34:49

Dernière modification le : mardi 13 février 2024-03:25:17

Fichier non déposé

Dates et versions

hal-03193111 , version 1 (08-04-2021)

Identifiants

  • HAL Id : hal-03193111 , version 1

Citer

Érik Martin-Dorel. Formal proofs and certified computation in Coq (The French Symposium on Games - Theory and Applications, Université Paris Diderot, 26/05/15-30/05/15). French Symposium on Games - Theory and Applications 2015 (Dedicated to the memory of John Nash), May 2015, Paris, France. ⟨hal-03193111⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA SMS UMR8623 UT1-CAPITOLE CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY IRIT IRIT-ACADIE IRIT-FSL GS-COMPUTER-SCIENCE IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
17 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More