jimburton's John:C [5 articles] Export

Recent papers posted to jimburton's library by the author John:C. You can also see everyone's John:C.

	Measuring and Reducing Clutter in Euler Diagrams [My Copy] In Proceedings of the First International Workshop on Euler Diagrams, {Euler 2004}, Vol. 134 (2005), pp. 103-126. by C. John posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:33 as
	A Normal Form for Euler Diagrams with Shading [My Copy] Diagrammatic Representation and Inference (2008), pp. 206-221. by Andrew Fish, Chris John, John Taylor posted to diagrams euler-diagrams by jimburton on 2008-09-23 16:34:19 as
	Reasoning with Projected Contours [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 147-150. by C. John posted to vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Projected Contours in Euler Diagrams [My Copy] In {E}uler Diagrams 2004, Vol. 134 (2005), pp. 103-126. by C. John posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Exploring the notion of Clutter in Euler diagrams [My Copy] In Accepted for the 4th International Conference on the Theory and Application of Diagrams (2006), pp. 267-282. by Chris John, Andrew Fish, John Howse, John Taylor posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/author/John:C

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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 John:C [5 articles] Export

jimburton's tags