Sebastiaan Terwijn

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Genetic Algorithm

Sufficient Conditions

Top Venues

Publications

Rutger Kuyper, Sebastiaan Terwijn
Effective genericity and differentiability. J. Log. Anal. 6 (2014)
Sebastiaan Terwijn, Leen Torenvliet, Paul M. B. Vitányi
Normalized Information Distance is Not Semicomputable CoRR (2010)
Sebastiaan Terwijn
Intuitionistic Logic and Computability Theory. WoLLIC (2010)
Sebastiaan Terwijn, Leen Torenvliet, Paul M. B. Vitányi
Nonapproximablity of the Normalized Information Distance CoRR (2009)
Sebastiaan Terwijn
Decidability and Undecidability in Probability Logic. LFCS (2009)
Sebastiaan Terwijn
On the structure of the Medvedev lattice. J. Symb. Log. 73 (2) (2008)
Andrea Sorbi, Sebastiaan Terwijn
Intermediate logics and factors of the Medvedev lattice. Ann. Pure Appl. Log. 155 (2) (2008)
John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn
The arithmetical complexity of dimension and randomness. ACM Trans. Comput. Log. 8 (2) (2007)
Sebastiaan Terwijn
Kripke Models, Distributive Lattices, and Medvedev Degrees. Stud Logica 85 (3) (2007)
Sebastiaan Terwijn
The Medvedev lattice of computably closed sets. Arch. Math. Log. 45 (2) (2006)
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn
Calibrating Randomness. Bull. Symb. Log. 12 (3) (2006)
Cristian S. Calude, Ludwig Staiger, Sebastiaan Terwijn
On partial randomness. Ann. Pure Appl. Log. 138 (1-3) (2006)
André Nies, Frank Stephan, Sebastiaan Terwijn
Randomness, relativization and Turing degrees. J. Symb. Log. 70 (2) (2005)
Sebastiaan Terwijn
Probabilistic Logic and Induction. J. Log. Comput. 15 (4) (2005)
Sebastiaan Terwijn
Kripke Models, Distributive Lattices, and Medvedev Degrees. CiE (2005)
John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn
The Arithmetical Complexity of Dimension and Randomness CoRR (2004)
John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn
The Arithmetical Complexity of Dimension and Randomness Electron. Colloquium Comput. Complex. (079) (2004)
Sanjay Jain, Frank Stephan, Sebastiaan Terwijn
Counting extensional differences in BC-learning. Inf. Comput. 188 (1) (2004)
Klaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Sebastiaan Terwijn
Almost complete sets. Theor. Comput. Sci. 306 (1-3) (2003)
John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn
The Arithmetical Complexity of Dimension and Randomness. CSL (2003)
Sebastiaan Terwijn
On the Learnability of Hidden Markov Models. ICGI (2002)
Rodney G. Downey, Sebastiaan Terwijn
Computably Enumerable Reals and Uniformly Presentable Ideals. Math. Log. Q. 48 (S1) (2002)
Sebastiaan Terwijn, Domenico Zambella
Computational Randomness and Lowness. J. Symb. Log. 66 (3) (2001)
Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn
Linear Ramified Higher Type Recursion and Parallel Complexity. Proof Theory in Computer Science (2001)
Klaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Sebastiaan Terwijn
Almost Complete Sets. STACS (2000)
Frank Stephan, Sebastiaan Terwijn
Counting Extensional Differences in BC-Learning. ICGI (2000)
Frank Stephan, Sebastiaan Terwijn
The Complexity of Universal Text-Learners. Inf. Comput. 154 (2) (1999)
Sebastiaan Terwijn
Extensional Set Learning (extended abstract). COLT (1999)
Antonín Kucera, Sebastiaan Terwijn
Lowness for The Class of Random Sets. J. Symb. Log. 64 (4) (1999)
Sebastiaan Terwijn, Leen Torenvliet
Arithmetical Measure. Math. Log. Q. 44 (1998)
Frank Stephan, Sebastiaan Terwijn
The Complexity of Universal Text-Learners. FCT (1997)
Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
Resource Bounded Randomness and Weakly Complete Problems. Theor. Comput. Sci. 172 (1-2) (1997)
Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn
Genericity and Measure for Exponential Time. Theor. Comput. Sci. 168 (1) (1996)
Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn
Genericity and Measure for Exponential Time. MFCS (1994)
Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
Resource Bounded Randomness and Weakly Complete Problems. ISAAC (1994)