Towards Ludics Programming: Interactive Proof Search - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Dates et versions

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

Identifiants

Citer

Alexis Saurin. Towards Ludics Programming: Interactive Proof Search. 24th International Conference on Logic Programming - ICLP 2008, Dec 2008, Udine, Italy. pp.253-268, ⟨10.1007/978-3-540-89982-2_27⟩. ⟨hal-00527897⟩
140 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More