Journal Articles
Journal of Applied Non-Classical Logics
Year : 2010
Jurgen Vinju : Connect in order to contact the contributor
https://inria.hal.science/hal-00645293
Submitted on : Sunday, November 27, 2011-7:58:18 PM
Last modification on : Wednesday, March 15, 2023-8:52:08 AM
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⟩
43
View
0
Download