A game semantics for proof search, preliminary results - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Dates et versions

hal-00527881 , version 1 (20-10-2010)

Identifiants

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⟩
176 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More