DBLP Record 'conf/colt/Hancock90'

BibTeX

@inproceedings{DBLP:conf/colt/Hancock90,
  author    = {Thomas R. Hancock},
  title     = {Identifying $\mu$-Formula Decision Trees with Queries},
  booktitle = {COLT},
  year      = {1990},
  pages     = {23-37},
  ee        = {http://portal.acm.org/citation.cfm?id=92571.92576},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}