© University of Kent - Contact | Feedback | Legal | FOI | Cookies
MODELLING HUMAN COGNITION USING CONCURRENCY THEORY
Li Su
PhD thesis, January 2009.Bibtex Record
@phdthesis{2879,
author = {Li Su},
title = {MODELLING HUMAN COGNITION USING CONCURRENCY THEORY},
month = {January},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2879},
publication_type = {phdthesis},
submission_id = {18102_1236109262},
}