© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Review of Schaefer M., `A guided tour of minimal indices and shortest descriptions'
P. Watson
Mathematical Reviews, (2000b:03156):182-196, February 2000.Bibtex Record
@article{1177,
author = {P. Watson},
title = {Review of {S}chaefer {M}., `{A} guided tour of minimal indices and shortest descriptions'},
month = {February},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1177},
publication_type = {article},
submission_id = {25065_981733054},
journal = {Mathematical Reviews},
number = {2000b:03156},
}