| Original language | Undefined/Unknown |
|---|---|
| Pages (from-to) | 173-191 |
| Number of pages | 19 |
| Journal | Journal of Applied Non-Classical Logic |
| DOIs | |
| Publication status | Published - 2010 |
Verifying one hundred prisoners and a lightbulb
H. van Ditmarsch, J. van Eijck, W. Wu
Research output: Contribution to journal › Article › Academic › peer-review