© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Recognising sketches of Euler diagrams augmented with graphs
Gem Stapleton, Aidan Delaney, Peter Rodgers, and Beryl Plimmer
In 2011 International Workshop on Visual Languages and Computing, volume 17 of International Conference on Distributed Multimedia Systems, pages 182-196, August 2011.Abstract
Download publication 685 kbytes (PDF)
Bibtex Record
@inproceedings{3165,
author = {Gem Stapleton and Aidan Delaney and Peter Rodgers and Beryl Plimmer},
title = {Recognising Sketches of {E}uler Diagrams Augmented with Graphs},
month = {August},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3165},
publication_type = {inproceedings},
submission_id = {28682_1316603883},
booktitle = {2011 International Workshop on Visual Languages and Computing},
volume = {17},
series = {International Conference on Distributed Multimedia Systems},
refereed = {yes},
}