Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. In: Proc. of LICS 2004, pp. 192–201 (2004)
2. Angluin, D.: Inductive Inference of Formal Languages from Positive Data. Information and Control 45, 117–135 (1980)
3. Angluin, D., Smith, C.H.: Inductive Inference: Theory and Methods. Computing Surveys 15, 237–269 (1983)
4. Arias, M., Khardon, R.: Learning Closed Horn Expressions. Information and Computation 178(1), 214–240 (2002)
5. Arikawa, S., Miyano, S., Shinohara, A., Shinohara, T., Yamamoto, A.: Algorithmic Learning Theory with Elementary Formal Systems. IEICE Trans. Inf. & Syst. E75-D(4), 405–414 (1992)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Kernel Functions Based on Derivation;New Frontiers in Applied Data Mining;2009