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.

Tableau-Based Reasoning for Graph Properties

Leen Lambers, Fernando Orejas. Tableau-Based Reasoning for Graph Properties. In Holger Giese, Barbara König, editors, Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Volume 8571 of Lecture Notes in Computer Science, pages 17-32, Springer, 2014. [doi]

Authors

Leen Lambers

This author has not been identified. Look up 'Leen Lambers' in Google

Fernando Orejas

This author has not been identified. Look up 'Fernando Orejas' in Google
runs on