Communication Dans Un Congrès
Année : 2006
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527881
Soumis le : mercredi 20 octobre 2010-15:21:46
Dernière modification le : vendredi 24 mars 2023-14:52:53
Citer
Alexis Saurin, Dale Miller. A game semantics for proof search, preliminary results. Twenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. pp.543-563, ⟨10.1016/j.entcs.2005.11.072⟩. ⟨hal-00527881⟩
Collections
176
Consultations
0
Téléchargements