Sebastiaan Terwijn

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