Colin Hirsch

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Erich Grädel, Colin Hirsch, Martin Otto
Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3 (3) (2002)
Erich Grädel, Colin Hirsch, Martin Otto
Back and Forth between Guarded and Modal Logics. LICS (2000)
Colin Hirsch, Stephan Tobies
A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic (2000)
Rudolf Fleischer, Colin Hirsch
Graph Drawing and Its Applications. Drawing Graphs (1999)
Erich Grädel, Yuri Gurevich, Colin Hirsch
The Complexity of Query Reliability. PODS (1998)