Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Identification of unions of languages drawn from an identifiable class
COLT '89 Proceedings of the second annual workshop on Computational learning theory
Higher recursion theory
Inductive inference of monotonic formal systems from positive data
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
On the role of procrastination in machine learning
Information and Computation
Elementary formal systems, intrinsic complexity, and procrastination
Information and Computation
Generalized notions of mind change complexity
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
An Introduction to the General Theory of Algorithms
An Introduction to the General Theory of Algorithms
General Inductive Inference Types Based on Linearly-Ordered Sets
STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Not-So-Nearly-Minimal-Size Program Inference
Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report
Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report
Ordinal Mind Change Complexity of Language Identification
EuroCOLT '97 Proceedings of the Third European Conference on Computational Learning Theory
A Class of Prolog Programs Inferable from Positive Data
ALT '96 Proceedings of the 7th International Workshop on Algorithmic Learning Theory
| Hi-index | 0.00 |