Realizability games for arithmetical formulæ - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Realizability games for arithmetical formulæ

Résumé

Proposal for a talk that was given during the GaLoP 2015 workshop.
Fichier principal
Vignette du fichier
GaLoP2015 (1).pdf (63.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01248093 , version 1 (23-12-2015)

Identifiants

  • HAL Id : hal-01248093 , version 1

Citer

Étienne Miquey. Realizability games for arithmetical formulæ . Worskshop GaLoP2015, Apr 2015, Londres, United Kingdom. ⟨hal-01248093⟩
127 Consultations
42 Téléchargements

Partager

More