© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Compound (families of) entries
D.W. Chadwick
Internet Draft, June 1999.Bibtex Record
@misc{2132,
author = {Chadwick, D.W.},
title = {Compound (Families of) Entries},
month = {June},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = { },
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/2132},
publication_type = {misc},
howpublished = {Internet Draft},
}