Travelled to:
1 × Spain
Collaborated with:
E.D.Demaine
Talks about:
nondeterminist (1) constraint (1) reduct (1) comput (1) applic (1) model (1) logic (1)
Person: Robert A. Hearn
DBLP: Hearn:Robert_A=
Contributed to:
Wrote 1 papers:
- ICALP-2002-HearnD #constraints #logic #nondeterminism #reduction
- The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications (RAH, EDD), pp. 401–413.