Bjørn Kjos-Hanssen
发表
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2009,
Computability and Complexity.
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2016,
ArXiv.
André Nies,
Frank Stephan,
Liang Yu,
2010,
Annals of Pure and Applied Logic.
Anil Nerode,
Bjørn Kjos-Hanssen,
A. Nerode,
2007,
LFCS.
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2003,
Bulletin of Symbolic Logic.
Bjørn Kjos-Hanssen,
Neil Thapen,
Antoine Taveneaux,
2012,
CiE.
Manuel Lerman,
Bjørn Kjos-Hanssen,
Stephen Binns,
2006,
Journal of Symbolic Logic.
Bjørn Kjos-Hanssen,
Paul Kim Long V. Nguyen,
Jason M. Rute,
2014,
Log. Methods Comput. Sci..
Bjørn Kjos-Hanssen,
Alberto J. Evangelista,
2009,
ArXiv.
Jason Teutsch,
Frank Stephan,
Bjørn Kjos-Hanssen,
2012,
TOCL.
Bjørn Kjos-Hanssen,
Paul Brodhead,
2009,
CiE.
James H. Schmerl,
Manuel Lerman,
Bjørn Kjos-Hanssen,
2008,
Notre Dame J. Formal Log..
Wolfgang Merkle,
Bjørn Kjos-Hanssen,
Frank Stephan,
2006,
STACS.
Bjørn Kjos-Hanssen,
2010,
Electron. Colloquium Comput. Complex..
Bjørn Kjos-Hanssen,
2010,
J. Log. Anal..
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2014,
COCOA.
André Nies,
Bjørn Kjos-Hanssen,
Mushfeq Khan,
2018,
CiE.
Bjørn Kjos-Hanssen,
André Nies,
2009,
Notre Dame J. Formal Log..
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2016,
Exp. Math..
Bjørn Kjos-Hanssen,
Paul Brodhead,
2009,
CiE.
Bjørn Kjos-Hanssen,
Malihe Alikhani,
Amirarsalan Pakravan,
2015,
Algorithmic Finance.
Bjørn Kjos-Hanssen,
Mushfeq Khan,
Achilles A. Beros,
2017,
Computability and Complexity.
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2016,
The Bulletin of Symbolic Logic.
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2016,
Discret. Math..
Sun Young Kim,
Bjørn Kjos-Hanssen,
Clyde James Felix,
2020,
Annals of Mathematics and Artificial Intelligence.
Bjørn Kjos-Hanssen,
Lei Liu,
2019,
TAMC.
Frank Stephan,
Sebastiaan Terwijn,
Bjørn Kjos-Hanssen,
2015,
CiE.
Bjørn Kjos-Hanssen,
Jan Reimann,
2010,
CiE.
André Nies,
Frank Stephan,
Bjørn Kjos-Hanssen,
2014,
Comput..
Bjørn Kjos-Hanssen,
Kayleigh Hyde,
B. Kjos-Hanssen,
2014,
COCOON.
Richard A. Shore,
Bjørn Kjos-Hanssen,
Paul Kim Long V. Nguyen,
2016,
Arch. Math. Log..
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2017,
UCNC.
Frank Stephan,
Sebastiaan Terwijn,
Bjørn Kjos-Hanssen,
2017,
Ann. Pure Appl. Log..
Bjørn Kjos-Hanssen,
David Diamondstone,
B. Kjos-Hanssen,
2012,
Ann. Pure Appl. Log..
Bjørn Kjos-Hanssen,
Frank Stephan,
André Nies,
2005,
SIAM J. Comput..
Bjørn Kjos-Hanssen,
2018,
Bull. Symb. Log..
Bjørn Kjos-Hanssen,
2017,
WoLLIC.
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2019,
Forum of Mathematics, Sigma.
Bjørn Kjos-Hanssen,
Stephen Binns,
2009,
J. Symb. Log..
Steffen Lempp,
Bjørn Kjos-Hanssen,
Theodore A. Slaman,
2004,
J. Symb. Log..
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2015,
Theor. Comput. Sci..
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2016,
Theory of Computing Systems.
Bjørn Kjos-Hanssen,
Achilles A. Beros,
Daylan Kaui Yogi,
2019,
TAMC.
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2016,
Studia Logica.
Bjørn Kjos-Hanssen,
David Diamondstone,
B. Kjos-Hanssen,
2009,
CiE.
Bjørn Kjos-Hanssen,
Kayleigh Hyde,
B. Kjos-Hanssen,
2014,
Electron. J. Comb..
Bjørn Kjos-Hanssen,
Neil Thapen,
Antoine Taveneaux,
2014,
Ann. Pure Appl. Log..
Richard A. Shore,
Bjørn Kjos-Hanssen,
B. Kjos-Hanssen,
2010,
The Journal of Symbolic Logic.
Anil Nerode,
Bjørn Kjos-Hanssen,
A. Nerode,
2009,
Theor. Comput. Sci..
Bjørn Kjos-Hanssen,
Theodore A. Slaman,
B. Kjos-Hanssen,
2002
.
James H. Schmerl,
Manuel Lerman,
Bjørn Kjos-Hanssen,
2008
.
Bjørn Kjos-Hanssen,
Reed Solomon,
Joseph S. Miller,
2012,
J. Lond. Math. Soc..