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.

Speedith: A Diagrammatic Reasoner for Spider Diagrams

Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower. Speedith: A Diagrammatic Reasoner for Spider Diagrams. In Philip T. Cox, Beryl Plimmer, Peter J. Rodgers, editors, Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings. Volume 7352 of Lecture Notes in Computer Science, pages 163-177, Springer, 2012. [doi]

Authors

Matej Urbas

This author has not been identified. Look up 'Matej Urbas' in Google

Mateja Jamnik

This author has not been identified. Look up 'Mateja Jamnik' in Google

Gem Stapleton

This author has not been identified. It may be one of the following persons: Look up 'Gem Stapleton' in Google

Jean Flower

This author has not been identified. Look up 'Jean Flower' in Google
runs on