Synthesizing enumeration techniques for language learning
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Proving the correctness of reactive systems using sized types
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Control structures in hypothesis spaces: the influence on learning
Theoretical Computer Science
Synthesizing Learners Tolerating Computable Noisy Data
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
On characterizations of the basic feasible functionals, Part I
Journal of Functional Programming
On the computational complexity of Longeley's H functional
Theoretical Computer Science - Implicit computational complexity
Encyclopedia of Computer Science
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Language embeddings that preserve staging and safety
Nordic Journal of Computing
Journal of Computer and System Sciences
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Characterizing Programming Systems Allowing Program Self-reference
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Feasible Iteration of Feasible Learning Functionals
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
COLT'07 Proceedings of the 20th annual conference on Learning theory
Independence results for n-ary recursion theorems
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Difficulties in forcing fairness of polynomial time inductive inference
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
Solutions to open questions for non-u-shaped learning with memory limitations
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
Hypothesis spaces for learning
Information and Computation
Iterative learning from positive data and counters
ALT'11 Proceedings of the 22nd international conference on Algorithmic learning theory
String extension learning using lattices
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Properties Complementary to Program Self-Reference
Fundamenta Informaticae
Learning in the limit with lattice-structured hypothesis spaces
Theoretical Computer Science
ON A QUANTITATIVE NOTION OF UNIFORMITY
Fundamenta Informaticae
Properties complementary to program self-reference
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Learning secrets interactively. Dynamic modeling in inductive inference
Information and Computation
| Hi-index | 0.01 |