Incarnation in Ludics and maximal cliques of paths

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-univ-paris13.archives-ouvertes.fr/hal-01090265
Contributeur : Isabelle Celer <>
Soumis le : mercredi 3 décembre 2014 - 11:33:29
Dernière modification le : mardi 16 juillet 2019 - 01:33:36

Lien texte intégral

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

188