Learnability of quantified formulas
Victor Dalmau and Peter Jeavons
Journal
Theoretical Computer Science
Note
Earlier version appeared in Proceedings of EuroCOLT 99‚ Nordkirchen‚ Germany‚ (1999)‚ pp. 63−78 : http://link.springer.de/link/service/series/0558/bibs/1572/15720063.htm
Number
306
Pages
485–511
Year
2003