Skip to Main content Skip to Navigation
Journal articles

Verifying one hundred prisoners and a lightbulb

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00645293
Contributor : Jurgen Vinju <>
Submitted on : Sunday, November 27, 2011 - 7:58:18 PM
Last modification on : Friday, February 26, 2021 - 9:42:03 AM

Identifiers

Collections

Citation

Hans Van Ditmarsch, Jan van Eijck, William Wu. Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics, Taylor & Francis, 2010, pp.173--191. ⟨10.3166/jancl.20.173-191⟩. ⟨hal-00645293⟩

Share

Metrics

Record views

160