Travelled to:
2 × USA
Collaborated with:
E.Grädel M.Otto Y.Gurevich
Talks about:
reliabl (1) complex (1) between (1) queri (1) modal (1) logic (1) guard (1) forth (1) back (1)
Person: Colin Hirsch
DBLP: Hirsch:Colin
Contributed to:
Wrote 2 papers:
- LICS-2000-GradelHO #logic
- Back and Forth between Guarded and Modal Logics (EG, CH, MO), pp. 217–228.
- PODS-1998-GradelGH #complexity #query #reliability
- The Complexity of Query Reliability (EG, YG, CH), pp. 227–234.