© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Five Essays on Occam
P.H. Welch
Occam User Group Newsletter, 2:182-196, January 1985 Also Internal Report, Training Department, GEC Avionics Ltd., Airport Works, Rochester, KENT ME2 1XX.Bibtex Record
@article{237, author = {P.H. Welch}, title = {{Five Essays on Occam}}, month = {January}, year = {1985}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Also Internal Report, Training Department, GEC Avionics Ltd., Airport Works, Rochester, KENT ME2 1XX.}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1985/237}, author_ids = {phw}, journal = {Occam User Group Newsletter}, volume = {2}, }