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.
John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil. Spider Diagrams: A Diagrammatic Reasoning System. Journal of Computer Languages, 12(3):299-324, 2001.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Reasoning with Spider DiagramsJohn Howse, Fernando Molina, John Taylor, Stuart Kent. vl 1999: 138 [doi] Diagrammatic Reasoning SystemsJohn Howse. iccS 2008: 1-20 [doi] On the Completeness and Expressiveness of Spider Diagram SystemsJohn Howse, Fernando Molina, John Taylor. diagrams 2000: 26-41 [doi] A Sound and Complete Diagrammatic Reasoning SystemJohn Howse, Fernando Molina, John Taylor. asc 2000: 402-408
The following publications are possibly variants of this publication: