© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Expressiveness of Spider Diagrams Augmented with Constants
Gem Stapleton, John Howse, John Taylor, and Simon Thompson
In Visual Languages / Human Centered Computing 2004, pages 182-196, September 2004.Bibtex Record
@inproceedings{1922,
author = {Gem Stapleton and John Howse and John Taylor and Simon Thompson},
title = {{The Expressiveness of Spider Diagrams Augmented with Constants}},
month = {September},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1922},
publication_type = {inproceedings},
submission_id = {7376_1086092250},
booktitle = {Visual Languages / Human Centered Computing 2004},
refereed = {yes},
}