© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Towards a Formalization of Constraint Diagrams
J Gil, J Howse, and S Kent
In Proceedings of IEEE Symposia on Human-Centric Computing, pages 182-196, Stresa, Italy, 2001. IEEE Computer Society Press.Bibtex Record
@inproceedings{1602,
author = {J Gil and J Howse and S Kent},
title = {{Towards a Formalization of Constraint Diagrams}},
month = {unknown},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1602},
publication_type = {inproceedings},
submission_id = {28095_1048586987},
booktitle = {Proceedings of IEEE Symposia on Human-Centric Computing},
address = {Stresa, Italy},
publisher = {IEEE Computer Society Press},
}