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 based on graph-rules

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig. Modal tableaux based on graph-rules. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 37-42, 1998.

Authors

Marcos A. Castilho

This author has not been identified. Look up 'Marcos A. Castilho' in Google

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
runs on