© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Polishing your searches
David Beckett
Ariadne, 1(16):182-196, July 1998 Published at URL http://www.ariadne.ac.uk/issue16/search-engines/.Bibtex Record
@article{620,
author = {David Beckett},
title = {Polishing Your Searches},
month = {July},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Published at URL http://www.ariadne.ac.uk/issue16/search-engines/},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/620},
journal = {Ariadne},
number = {16},
publisher = {University Library, University of Abertay Dundee and UKOLN, University of Bath},
volume = {1},
}