Colin Hirsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–2000
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | AiML | A Tableau Algorithm for the Clique Guarded Fragment. | Colin Hirsch, Stephan Tobies |
| 2000 | LICS | Back and Forth between Guarded and Modal Logics. | Erich Grdel, Colin Hirsch, Martin Otto |
| 1998 | PODS | The Complexity of Query Reliability. | Erich Grdel, Yuri Gurevich, Colin Hirsch |