Follow
Sebastiaan Terwijn
Title
Cited by
Cited by
Year
Randomness, relativization and Turing degrees
A Nies, F Stephan, SA Terwijn
The Journal of Symbolic Logic 70 (2), 515-535, 2005
1752005
Computational randomness and lowness
SA Terwijn, D Zambella
The Journal of Symbolic Logic 66 (3), 1199-1205, 2001
139*2001
Calibrating randomness
R Downey, DR Hirschfeldt, A Nies, SA Terwijn
Bulletin of Symbolic Logic 12 (3), 411-491, 2006
1322006
Lowness for the class of random sets
A Kučera, SA Terwijn
The Journal of Symbolic Logic 64 (4), 1396-1402, 1999
841999
Resource bounded randomness and weakly complete problems
K Ambos-Spies, SA Terwijn, Z Xizhong
Theoretical Computer Science 172 (1-2), 195-207, 1997
811997
On partial randomness
CS Calude, L Staiger, SA Terwijn
Annals of Pure and Applied Logic 138 (1-3), 20-30, 2006
762006
Genericity and measure for exponential time
K Ambos-Spies, HC Neis, SA Terwijn
Theoretical Computer Science 168 (1), 3-19, 1996
641996
Computability and measure
SA Terwijn
University of Amsterdam, 1998
451998
Nonapproximability of the normalized information distance
SA Terwijn, L Torenvliet, PMB Vitányi
Journal of Computer and System Sciences 77 (4), 738-742, 2011
412011
On the learnability of hidden Markov models
SA Terwijn
International Colloquium on Grammatical Inference, 261-268, 2002
392002
Resource bounded randomness and weakly complete problems
K Ambos-Spies, SA Terwijn, Z Xizhong
Algorithms and Computation: 5th International Symposium, ISAAC'94 Beijing …, 1994
321994
Complexity and randomness
SA Terwijn
Department of Computer Science, The University of Auckland, New Zealand, 2003
282003
Genericity and measure for exponential time
K Ambos-Spies, HC Neis, SA Terwijn
Mathematical Foundations of Computer Science 1994: 19th International …, 1994
271994
The Medvedev lattice of computably closed sets
SA Terwijn
Archive for Mathematical Logic 45, 179-190, 2006
242006
The mathematical foundations of randomness
SA Terwijn
The Challenge of Chance: A Multidisciplinary Approach from Science and the …, 2016
232016
Intermediate logics and factors of the Medvedev lattice
A Sorbi, SA Terwijn
arXiv preprint math/0606494, 2006
232006
The arithmetical complexity of dimension and randomness
JM Hitchcock, JH Lutz, SA Terwijn
ACM Transactions on Computational Logic (TOCL) 8 (2), 13-es, 2007
192007
Fixed point theorems for precomplete numberings
H Barendregt, SA Terwijn
Annals of Pure and Applied Logic 170 (10), 1151-1161, 2019
142019
Constructive logic and the Medvedev lattice
SA Terwijn
Notre Dame Journal of Formal Logic 47 (1), 73-82, 2006
122006
Probabilistic logic and induction
SA Terwijn
Journal of Logic and Computation 15 (4), 507-515, 2005
122005
The system can't perform the operation now. Try again later.
Articles 1–20