© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Review of Aizenstein, H. et al, `On learning read-k-satisfy-j DNF'
P. Watson
Mathematical Reviews, (2000a:68060):182-196, January 2000.Bibtex Record
@article{1176,
author = {P. Watson},
title = {Review of {A}izenstein, {H}. et al, `{O}n learning read-k-satisfy-j {DNF}'},
month = {January},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1176},
publication_type = {article},
submission_id = {25021_981732878},
journal = {Mathematical Reviews},
number = {2000a:68060},
}