© 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}, }