What Can Spider Diagrams Say? - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gem Stapleton, John Howse, John Taylor, Simon Thompson. What Can Spider Diagrams Say?. In Alan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Volume 2980 of Lecture Notes in Computer Science, pages 112-127, Springer, 2004. [doi]

The following publications are possibly variants of this publication:

What Can Concept Diagrams Say?Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan Delaney. diagrams 2012: 291-293 [doi]

On the Completeness and Expressiveness of Spider Diagram SystemsJohn Howse, Fernando Molina, John Taylor. diagrams 2000: 26-41 [doi]

Speedith: A Diagrammatic Reasoner for Spider DiagramsMatej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower. diagrams 2012: 163-177 [doi]

Generalizing SpidersGem Stapleton, John Howse, Kate Toller. diagrams 2006: 148-150 [doi]

Fragments of Spider Diagrams of Order and Their Relative ExpressivenessAidan Delaney, Gem Stapleton, John Taylor, Simon J. Thompson. diagrams 2010: 69-83 [doi]

Spider Diagrams of Order and a Hierarchy of Star-Free Regular LanguagesAidan Delaney, John Taylor, Simon Thompson. diagrams 2008: 172-187 [doi]

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider DiagramsJean Flower, Judith Masthoff, Gem Stapleton. diagrams 2004: 166-181 [doi]

Defining Euler Diagrams: Simple or What?Andrew Fish, Gem Stapleton. diagrams 2006: 109-111 [doi]

runs on WebDSL