External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Tableau Algorithm for the Clique Guarded Fragment

Colin Hirsch, Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 257-277, World Scientific, 2000.

Authors

Colin Hirsch

This author has not been identified. Look up 'Colin Hirsch' in Google

Stephan Tobies

This author has not been identified. Look up 'Stephan Tobies' in Google
runs on