© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Visualization of Evolving Searches
Edward Suvanaphen
PhD thesis, Computing Laboratory, December 2006. Download publication 8333 kbytes (PDF)Bibtex Record
@phdthesis{2830, author = {Edward Suvanaphen}, title = {{T}he {V}isualization of {E}volving {S}earches}, month = {December}, year = {2006}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2006/2830}, publication_type = {phdthesis}, submission_id = {13047_1224513156}, school = {Computing Laboratory}, }