Verifying one hundred prisoners and a lightbulb

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 : mardi 24 avril 2018 - 15:50:09

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

97