© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Projections in Venn-Euler Diagrams
J Gill, J Howse, S Kent, and J Taylor
In Proc. IEEE Symposium on Visual Languages (VL2000), pages 182-196, Seattle, September 2000. IEEE Computer Society Press. Download publication 156 kbytes (PDF)Bibtex Record
@inproceedings{1139,
author = {J Gill and J Howse and S Kent and J Taylor},
title = {{Projections in Venn-Euler Diagrams}},
month = {September},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1139},
address = {Seattle},
booktitle = {Proc. IEEE Symposium on Visual Languages (VL2000)},
publication_type = {inproceedings},
publisher = {IEEE Computer Society Press},
submission_id = {11011_976794737},
}