© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The logic of large enough
Eerke Boiten and Dan Grundy
In C. Bolduc, J. Desharnais, and B. Ktari, editors, MPC 2010: Mathematics of Program Construction, 10th International Conference, volume 6120 of Lecture Notes in Computer Science, pages 182-196, Heidelberg, June 2010. Springer.Bibtex Record
@conference{3005,
author = {Eerke Boiten and Dan Grundy},
title = {The Logic of Large Enough},
month = {June},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3005},
publication_type = {conference},
submission_id = {13323_1271624117},
booktitle = {MPC 2010: Mathematics of Program Construction, 10th International Conference},
editor = {C. Bolduc and J. Desharnais and B. Ktari},
volume = {6120},
series = {Lecture Notes in Computer Science},
address = {Heidelberg},
publisher = {Springer},
ISSN = {1861-2059},
refereed = {yes},
}