Verifying one hundred prisoners and a lightbulb

Hans Van Ditmarsch Jan Van Eijck 1 William Wu
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
Journal of Applied Non-Classical Logics, Editions Hermes, 2010, pp.173--191. 〈10.3166/jancl.20.173-191〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00645293
Contributeur : Jurgen Vinju <>
Soumis le : dimanche 27 novembre 2011 - 19:58:18
Dernière modification le : mercredi 29 novembre 2017 - 15:11:04

Identifiants

Collections

Citation

Hans Van Ditmarsch, Jan Van Eijck, William Wu. Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics, Editions Hermes, 2010, pp.173--191. 〈10.3166/jancl.20.173-191〉. 〈hal-00645293〉

Partager

Métriques

Consultations de la notice

77