jimburton's spider-diagrams [20 articles] Export

Recent papers added to jimburton's library classified by the tag spider-diagrams. You can also see everyone's spider-diagrams.

Hide details

	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Journal of Visual Languages and Computing (available online, 2008) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 spider-diagrams by jimburton on 2009-01-22 17:11:33 as
	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [My Copy] Diagrammatic Representation and Inference (2008), pp. 172-187. by Aidan Delaney, John Taylor, Simon Thompson posted to diagrams formal-methods spider-diagrams by jimburton on 2008-09-23 16:33:14 as
	Conceptual Spider Diagrams [My Copy] Conceptual Structures: Knowledge Visualization and Reasoning (2008), pp. 104-118. by Frithjof Dau, Andrew Fish posted to conceptual-graphs diagrams spider-diagrams by jimburton on 2008-08-31 14:55:38 as
	What Can Spider Diagrams Say? [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 112-127. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 91-98. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	The Expressiveness of Spider Diagrams [My Copy] Journal of Logic and Computation, Vol. 14, No. 6. (December 2004), pp. 857-880. by G. Stapleton, S. Thompson, J. Howse, J. Taylor posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Generalizing Spiders [My Copy] In 4th International Conference on the Theory and Application of Diagrams (2006), pp. 148-150. by G. Stapleton, J. Howse, K. Toller posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Enhancing the Expressiveness of Spider Diagram Systems [My Copy] In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computings (2006), pp. 129-138. by G. Stapleton, J. Howse posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	On Spiders' Feet [My Copy] In {E}uler Diagrams 2005 (2005) by G. Stapleton, J. Howse, K. Toller posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Spider Diagrams: A Diagrammatic Reasoning System [My Copy] Journal of Visual Languages and Computing, Vol. 12, No. 3. (June 2001), pp. 299-324. by J. Howse, F. Molina, J. Taylor, S. Kent, J. Gil posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	SD2: A sound and complete diagrammatic reasoning system [My Copy] In Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, USA (2000), pp. 127-136. by J. Howse, F. Molina, J. Taylor posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Reasoning with Spider Diagrams [My Copy] In Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo, pp. 138-147. by J. Howse, F. Molina, J. Taylor, S. Kent posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	On the completeness and expressiveness of spider diagram systems [My Copy] In Proceedings of 1st International Conference on the Theory and Application of Diagrams (September 2000), pp. 26-41. by J. Howse, F. Molina, J. Taylor posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Formalising Spider Diagrams [My Copy] In Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo (September 1999), pp. 130-137. by J. Gil, J. Howse, S. Kent posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 166-181. by J. Flower, J. Masthoff, G. Stapleton posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Generating Proofs with Spider Diagrams Using Heuristics [My Copy] In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (2004), pp. 279-285. by J. Flower, J. Masthoff, G. Stapleton posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Automated Theorem Proving with Spider Diagrams [My Copy] In Proceedings of Computing: The Australasian Theory Symposium, Vol. 91 (January 2004), pp. 116-132. by J. Flower, G. Stapleton posted to automated-reasoning diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Failure Mode Modular De-Composition Using Spider Diagrams [My Copy] In Proceedings of Euler Diagrams 2004, Vol. 134 (2005) by R. Clark posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:40 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Submitted to Journal of Visual Languages and Computing (2005) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:37 as
	Spider Diagrams [My Copy] LMS Journal of Computation and Mathematics, Vol. 8 (2005), pp. 145-194. by J. Howse, G. Stapleton, Taylor posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 13:50:52 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/tag/spider-diagrams

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
agda	5
models-of-computation	5
category-theory	4
coq	4
formal-methods	4
generics	4
ocaml	4
epigram	3
maths	3
uml	3
arrows	2
curry-howard	2
lambda-calculus	2
meta-programming	2
ml	2
monads	2
conceptual-graphs	1
erlang	1
frp	1
z	1

jimburton's spider-diagrams [20 articles] Export

jimburton's tags