Incarnation in Ludics and maximal cliques of paths - Université Sorbonne Paris Nord Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2013

Incarnation in Ludics and maximal cliques of paths

Dates et versions

hal-01090265 , version 1 (03-12-2014)

Identifiants

Citer

Myriam Quatrini, Christophe Fouqueré. Incarnation in Ludics and maximal cliques of paths. Logical Methods in Computer Science, 2013, 9 (4), pp.1-33. ⟨10.2168/LMCS-9(4:6)2013⟩. ⟨hal-01090265⟩
79 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More