Reasoning with Protocols under Imperfect Information

Eric Pacuit Sunil Simon 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Article dans une revue
The Review of Symbolic Logic, Cambridge Journals, 2011, 4 (3), pp.412-444
Liste complète des métadonnées

https://hal.inria.fr/hal-00644259
Contributeur : Jurgen Vinju <>
Soumis le : mercredi 23 novembre 2011 - 22:40:48
Dernière modification le : mercredi 29 novembre 2017 - 15:10:59

Identifiants

  • HAL Id : hal-00644259, version 1

Collections

Citation

Eric Pacuit, Sunil Simon. Reasoning with Protocols under Imperfect Information. The Review of Symbolic Logic, Cambridge Journals, 2011, 4 (3), pp.412-444. 〈hal-00644259〉

Partager

Métriques

Consultations de la notice

98