Colin Hirsch

According to our database, Colin Hirsch authored at least 5 papers between 1998 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Guarded logics: algorithms and bisimulation.

Colin Hirsch

PhD thesis, 2002

Back and forth between guarded and modal logics.

Erich Grädel, Colin Hirsch, Martin Otto

ACM Trans. Comput. Log., 2002

2000

A Tableau Algorithm for the Clique Guarded Fragment.

Colin Hirsch, Stephan Tobies

Proceedings of the Advances in Modal Logic 3, 2000

1999

Graph Drawing and Its Applications.

Rudolf Fleischer, Colin Hirsch

Proceedings of the Drawing Graphs, 1999

1998

The Complexity of Query Reliability.

Erich Grädel, Yuri Gurevich, Colin Hirsch

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998