© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Case studies in equational reasoning
U.H. Martin, D.A. Cohen, M.K.F. Lai, K.J. Norrie, and P. Watson
Technical report, Royal Holloway and Bedford New College, University of London, January 1990.Bibtex Record
@techreport{734,
author = {U.H. Martin and D.A. Cohen and M.K.F. Lai and K.J. Norrie and P. Watson},
title = {Case studies in equational reasoning},
month = {January},
year = {1990},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1990/734},
institution = {Royal Holloway and Bedford New College, University of London},
type = {Technical Report},
}