Verifying one hundred prisoners and a lightbulb - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Applied Non-Classical Logics Year : 2010
No file

Dates and versions

hal-00645293 , version 1 (27-11-2011)

Identifiers

Cite

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

Collections

INRIA INRIA2
43 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More