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