About a Positive Set Theory With Equality
Electronic Notes in Theoretical Computer Science (ENTCS)
Learning in Friedberg numberings
Information and Computation
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Independence results for n-ary recursion theorems
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
Arithmetic complexity via effective names for random sequences
ACM Transactions on Computational Logic (TOCL)
Characteristics of minimal effective programming systems
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Theoretical Computer Science
Hi-index | 5.23 |