Travelled to:1 × Canada
1 × France
Collaborated with:∅ H.v.Ditmarsch W.Wu
Talks about:lightbulb (1) constrain (1) tableaux (1) prison (1) comput (1) logic (1) hyper (1) hundr (1) one (1)
Person: Jan van Eijck
DBLP: Eijck:Jan_van
Contributed to:
2010
2001Wrote 2 papers:
- KR-2010-DitmarschEW #logic
- One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).
- CSL-2001-Eijck
- Constrained Hyper Tableaux (JvE), pp. 232–246.