Elementary formal systems, intrinsic complexity, and procrastination
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Generalized notions of mind change complexity
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
On a generalized notion of mistake bounds
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Minds and Machines
Mind change complexity of learning logic programs
Theoretical Computer Science
Mind Change Complexity of Learning Logic Programs
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Learning by Switching Type of Information
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Learning by switching type of information
Information and Computation
Generalized notions of mind change complexity
Information and Computation
On the classification of recursive languages
Information and Computation
Thin Maximal Antichains in the Turing Degrees
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
The Complexity of Quickly ORM-Decidable Sets
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Turing Unbound: Transfinite Computation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
The Strength of the Grätzer-Schmidt Theorem
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Theoretical Computer Science
A survey of infinite time turing machines
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
The strength of the Besicovitch-Davies theorem
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
A computational approach to an alternative working environment for the constructible universe
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
The complexity of learning SUBSEQ (A)
ALT'06 Proceedings of the 17th international conference on Algorithmic Learning Theory
Mind change complexity of inferring unbounded unions of pattern languages from positive data
ALT'06 Proceedings of the 17th international conference on Algorithmic Learning Theory
Infinite time register machines
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
| Hi-index | 0.00 |