© 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}, }