External Links

Cite Key

Statistics

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

PDF

Tags

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.

Modal Tableaux: Completeness vs. Termination

Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade. Modal Tableaux: Completeness vs. Termination. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. pages 587-614, College Publications, 2005.

Authors

Luis Fariñas del Cerro

This author has not been identified. Look up 'Luis Fariñas del Cerro' in Google

Olivier Gasquet

This author has not been identified. Look up 'Olivier Gasquet' in Google

Andreas Herzig

This author has not been identified. Look up 'Andreas Herzig' in Google

Mohamad Sahade

This author has not been identified. Look up 'Mohamad Sahade' in Google
runs on