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..

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, 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, 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..