© University of Kent - Contact | Feedback | Legal | FOI | Cookies
What Can Spider Diagrams Say?
Gem Stapleton, John Howse, John Taylor, and Simon Thompson
In Alan Blackwell, Kim Marriott, and Atsushi Shimojima, editors, Diagrammatic Representation and Inference, volume 2980 of Lecture Notes in Computer Science, pages 182-196. Springer, March 2004.Bibtex Record
@inproceedings{1816,
author = {Gem Stapleton and John Howse and John Taylor and Simon Thompson},
title = {{What Can Spider Diagrams Say?}},
month = {March},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1816},
publication_type = {inproceedings},
submission_id = {28438_1077559336},
ISBN = {3-540-21268-X },
booktitle = {Diagrammatic Representation and Inference },
editor = {Alan Blackwell and Kim Marriott and Atsushi Shimojima },
volume = {2980},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
refereed = {yes},
}