Article Dans Une Revue
Logical Methods in Computer Science
Année : 2013
Isabelle Celer : Connectez-vous pour contacter le contributeur
https://sorbonne-paris-nord.hal.science/hal-01090265
Soumis le : mercredi 3 décembre 2014-11:33:29
Dernière modification le : dimanche 28 avril 2024-03:18:09
Dates et versions
Identifiants
- HAL Id : hal-01090265 , version 1
- ARXIV : 1307.1028
- DOI : 10.2168/LMCS-9(4:6)2013
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⟩
Collections
83
Consultations
0
Téléchargements