Travelled to:1 × Canada
Collaborated with:J.v.Eijck W.Wu
Talks about:lightbulb (1) prison (1) comput (1) logic (1) hundr (1) one (1)
Person: Hans van Ditmarsch
DBLP: Ditmarsch:Hans_van
Contributed to:
2010Wrote 1 papers:
- KR-2010-DitmarschEW #logic
- One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).