© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Taxing our best students
Janet Carter, Nick Efford, Stefan Jamieson, Tony Jenkins, and Su White
ITALICS, 7(1):182-196, June 2008.Bibtex Record
@article{2844,
author = {Janet Carter and Nick Efford and Stefan Jamieson and Tony Jenkins and Su White},
title = {Taxing our best students},
month = {June},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2844},
publication_type = {article},
submission_id = {8218_1228403869},
ISSN = {1473-7507},
journal = {ITALICS},
volume = {7},
number = {1},
publisher = {hea ics},
}