© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 42-57, 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 = {42--57},
keywords = {Calculational methods; asymptotics; generalised quantifiers},
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},
}