F. Stephan
发表
Frank Stephan,
F. Stephan,
2001,
Arch. Math. Log..
Stuart A. Kurtz,
Carl H. Smith,
Rusins Freivalds,
1995,
ICALP.
André Nies,
Frank Stephan,
Liang Yu,
2010,
Ann. Pure Appl. Log..
Sanjay Jain,
Frank Stephan,
Alexei G. Myasnikov,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Frank Stephan,
Susanne Kaufmann,
F. Stephan,
2001,
Theor. Comput. Sci..
Lance Fortnow,
Frank Stephan,
Richard Beigel,
2006,
SIAM J. Comput..
Guohua Wu,
Frank Stephan,
Keng Meng Ng,
2006,
CiE.
John Case,
Sanjay Jain,
Frank Stephan,
2011,
LATA.
Philipp Schlicht,
Frank Stephan,
F. Stephan,
2013,
Ann. Pure Appl. Log..
Sanjay Jain,
Frank Stephan,
Eric Martin,
2005,
Theoretical Computer Science.
Frank Stephan,
Philippe Moser,
F. Stephan,
2015,
Discret. Math. Theor. Comput. Sci..
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
SPIN.
Carl H. Smith,
W. Gasarch,
L. Fortnow,
2001
.
Frank Stephan,
F. Stephan,
1995,
Theor. Comput. Sci..
Arun Sharma,
Frank Stephan,
Eric Martin,
2002,
ALT.
Cristian S. Calude,
Ludwig Staiger,
André Nies,
2008,
Developments in Language Theory.
Frank Stephan,
Sebastiaan Terwijn,
Bjørn Kjos-Hanssen,
2017,
Ann. Pure Appl. Log..
Bjørn Kjos-Hanssen,
Frank Stephan,
André Nies,
2005,
SIAM J. Comput..
Frank Stephan,
Ziyuan Gao,
F. Stephan,
2012,
ALT.
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2008,
Inf. Comput..
Frank Stephan,
Martin Kummer,
F. Stephan,
1994,
Math. Log. Q..
Frank Stephan,
Matthias Ott,
F. Stephan,
1997,
Theor. Comput. Sci..
F. Stephan,
Frank Stephan,
Andrew Marks,
2018,
Mathematical Statistics with Applications in R.
Frank Stephan,
Matthias Ott,
F. Stephan,
2002,
Theor. Comput. Sci..
Ludwig Staiger,
Frank Stephan,
Birzhan Moldagaliyev,
2018,
CIAA.
Frank Stephan,
Richard Beigel,
Martin Kummer,
1992,
Inf. Comput..
F. Stephan,
Jan Reimann,
2006
.
André Nies,
Frank Stephan,
Denis R. Hirschfeldt,
2007
.
F. Stephan,
Sanjay Jainy,
Matthias Ottz,
2007
.
Sanjay Jain,
T. Zeugmann,
F. Stephan,
2007
.
Sanjay Jain,
F. Stephan,
Ziyuan Gao,
2012
.
Sanjay Jain,
F. Stephan,
J. Case,
2022
.
Frank Stephan,
Richard Beigel,
Martin Kummer,
2000,
Journal of Symbolic Logic.
Sanjay Jain,
T. Zeugmann,
F. Stephan,
2017
.
Johanna N. Y. Franklin,
Frank Stephan,
Liang Yu,
2011
.
F. Stephan,
W. Merkle,
Yuh-jeng Liang,
2011
.
Ya'acov Peterzil,
Frank Stephan,
Ulrich Kohlenbach,
2010
.
F. Stephan,
Guohua Wu,
R. Hölzl,
2010
.
F. Stephan,
P. Semukhin,
2007
.
S. A. Terwijn,
A. Nies,
F. Stephan,
2022
.
F. Stephan,
Guohua Wu,
Bowen Yuan,
2020,
Proceedings of the American Mathematical Society.
F. Stephan,
A. Nies,
2019,
1902.07871.
M. Baaz,
J. Krajícek,
F. Stephan,
2016
.
Cristian S. Calude,
F. Stephan,
A. Nies,
2009
.
Cristian S. Calude,
F. Stephan,
N. Hay,
2009
.
F. Stephan,
1996
.
F. Stephan,
1996
.
Sanjay Jain,
R. Reischuk,
T. Zeugmann,
2017
.
F. Stephan,
George Barmpalias,
Nan Fang,
2018
.
F. Stephan,
R. Hölzl,
Dilip Raghavan,
2016
.
Sanjay Jain,
Frank Stephan,
Thomas Zeugmann,
2016,
Theor. Comput. Sci..
Peter A. Fejer,
F. Stephan,
W. Merkle,
2007
.
Frank Stephan,
Thomas Zeugmann,
Sanjay Jain,
2013
.
F. Stephan,
Arun Sharma,
Andrew R. Mitchell,
1999
.
Jean-Michel Renders,
João Gama,
Eamonn J. Keogh,
2010,
Encyclopedia of Machine Learning and Data Mining.
F. Stephan,
S. Lempp,
Kojiro Higuchi,
2019,
Proceedings of the American Mathematical Society.
Cristian S. Calude,
F. Stephan,
R. Freivalds,
2013
.
Sanjay Jain,
Sandra Zilles,
F. Stephan,
2015
.
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2017,
Encyclopedia of Machine Learning and Data Mining.
John Case,
Sanjay Jain,
Rüdiger Reischuk,
2006,
Theor. Comput. Sci..
John Case,
Sanjay Jain,
Jean-Michel Renders,
2010,
Encyclopedia of Machine Learning.
F. Stephan,
Arun Sharma,
Yuri Ventsov,
2004,
Inf. Comput..
Cristian S. Calude,
F. Stephan,
A. Nies,
2022
.
Jason Teutsch,
F. Stephan,
L. Bienvenu,
2010,
Theory of Computing Systems.
John Case,
Jean-Michel Renders,
Eamonn J. Keogh,
2010,
Encyclopedia of Machine Learning.
Pierre Flener,
Eamonn J. Keogh,
Ricardo Vilalta,
2010,
Encyclopedia of Machine Learning and Data Mining.
K. M. Ng,
F. Stephan,
Liang Yu,
2013
.
Philip M. Long,
José L. Balcázar,
Frank Stephan,
2006
.
Ammar F. Sabili,
Sanjay Jain,
F. Stephan,
2021,
ICTAC.
Frank Stephan,
Bernd Borchert,
F. Stephan,
1997,
Math. Log. Q..
F. Stephan,
B. Kjos-Hanssen,
W. Merkle,
2011,
0901.3933.
William I. Gasarch,
Mark G. Pleszkoch,
Mahendran Velauthapillai,
1994,
Annals of Mathematics and Artificial Intelligence.
Frank Stephan,
Martin Kummer,
F. Stephan,
1993,
COLT '93.
Frank Stephan,
Eric Martin,
F. Stephan,
2018,
J. Log. Comput..
Ammar F. Sabili,
Sanjay Jain,
F. Stephan,
2021,
SSRN Electronic Journal.
S. G. Simpson,
G. Sacks,
J. Baldwin,
2013
.
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2010,
Encyclopedia of Machine Learning and Data Mining.
Sanjay Jain,
Frank Stephan,
Bakhadyr Khoussainov,
2017,
Theory of Computing Systems.
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2010,
Encyclopedia of Machine Learning and Data Mining.
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2010,
Encyclopedia of Machine Learning.
Sanjay Jain,
F. Stephan,
B. Khoussainov,
2017,
Theory of Computing Systems.
Rahul Jain,
Sanjay Jain,
Frank Stephan,
2017,
Inf. Comput..
John Case,
Sanjay Jain,
Frank Stephan,
1996,
Theor. Comput. Sci..
Frank Stephan,
William I. Gasarch,
W. Gasarch,
2004,
Algebraic Methods in Computational Complexity.
Frank Stephan,
William I. Gasarch,
Richard Beigel,
2000,
J. Symb. Log..
Frank Stephan,
Ziyuan Gao,
F. Stephan,
2012,
Theor. Comput. Sci..
Arun Sharma,
Frank Stephan,
Eric Martin,
2006,
Theor. Comput. Sci..
F. Stephan,
Gordon Hoi,
2021,
Theor. Comput. Sci..
Sanjay Jain,
Gordon Hoi,
Frank Stephan,
2020,
CP.
Gordon Hoi,
Frank Stephan,
Sanjay Jain,
2019,
FSTTCS.
Sanjay Jain,
Frank Stephan,
Sibylle Schwarz,
2019,
TAMC.
Gordon Hoi,
Frank Stephan,
F. Stephan,
2019,
ISAAC.
Sanjay Jain,
Frank Stephan,
Eric Martin,
2018,
LATA.
Lance Fortnow,
Frank Stephan,
Harry Buhrman,
2006,
Journal of Symbolic Logic.
Aquinas Hobor,
Elaine Li,
Frank Stephan,
2019,
APLAS.
Cristian S. Calude,
Ludwig Staiger,
Frank Stephan,
2014,
Inf. Comput..
André Nies,
Frank Stephan,
Bjørn Kjos-Hanssen,
2014,
Comput..
Frank Stephan,
Ammar F. Sabili,
Ammar Fathin Sabili,
2022,
Theor. Comput. Sci..
Rahul Jain,
Frank Stephan,
Sanjay Jain,
2012,
Lecture Notes in Computer Science.
Jason Teutsch,
Frank Stephan,
Laurent Bienvenu,
2010,
Theory of Computing Systems.
John Case,
Rolf Wiehagen,
Sanjay Jain,
2001,
COLT/EuroCOLT.
Arun Sharma,
Frank Stephan,
Eric Martin,
2001,
Discovery Science.
John Case,
Sanjay Jain,
Rüdiger Reischuk,
2004,
Electron. Colloquium Comput. Complex..
John Case,
Sanjay Jain,
Rüdiger Reischuk,
2006,
Theor. Comput. Sci..
Lorenzo Carlucci,
John Case,
Sanjay Jain,
2008,
J. Comput. Syst. Sci..
John Case,
Sanjay Jain,
Frank Stephan,
2007,
Inf. Comput..
John Case,
Sanjay Jain,
Frank Stephan,
2006,
COLT.
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2006,
TAMC.
Sanjay Jain,
Frank Stephan,
Efim B. Kinber,
2006,
Inf. Comput..
John Case,
Sanjay Jain,
Frank Stephan,
2005,
ALT.
Rusins Freivalds,
Frank Stephan,
Christopher Hanrui Chak,
2016,
Theor. Comput. Sci..
André Nies,
Frank Stephan,
Sasha Rubin,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Desh Ranjan,
Frank Stephan,
Bernd Borchert,
1998,
Theory of Computing Systems.
Sanjay Jain,
Sven Schewe,
John Fearnley,
2017,
International Journal on Software Tools for Technology Transfer.
Arun Sharma,
Frank Stephan,
Tobias Scheffer,
1999,
ALT.
F. Stephan,
Arun Sharma,
Andrew R. Mitchell,
1999
.
Sanjay Jain,
Frank Stephan,
Eric Martin,
2011,
Theor. Comput. Sci..
Stuart A. Kurtz,
Carl H. Smith,
Rusins Freivalds,
1998,
Theor. Comput. Sci..
Frank Stephan,
William I. Gasarch,
Mark G. Pleszkoch,
1994,
Annals of Mathematics and Artificial Intelligence.
Cristian S. Calude,
Frank Stephan,
Nicholas J. Hay,
2011,
J. Comput. Syst. Sci..
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2010,
Encyclopedia of Machine Learning.
Frank Stephan,
Matthias Ott,
F. Stephan,
1997,
ISAAC.
Aquinas Hobor,
F. Stephan,
Tianyu Liu,
2020
.
Cristian S. Calude,
Sanjay Jain,
Frank Stephan,
2017,
STOC.
Frank Stephan,
Denis Thérien,
Klaus-Jörn Lange,
2004,
Developments in Language Theory.
Arun Sharma,
Frank Stephan,
Eric Martin,
2003,
Theor. Comput. Sci..
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2001,
ALT.
Frank Stephan,
Wolfgang Merkle,
F. Stephan,
2001,
Theor. Comput. Sci..
Frank Stephan,
Thomas Zeugmann,
T. Zeugmann,
1999,
ALT.
Arun Sharma,
Frank Stephan,
Yuri Ventsov,
1997,
COLT '97.
Efim Kinber,
Arun Sharma,
Frank Stephan,
1997,
STACS.
André Nies,
Frank Stephan,
Santiago Figueira,
2008,
Ann. Pure Appl. Log..
George Barmpalias,
Frank Stephan,
S. Barry Cooper,
2007,
J. Log. Comput..
Guohua Wu,
Frank Stephan,
Santiago Figueira,
2006,
J. Complex..
Guohua Wu,
Frank Stephan,
F. Stephan,
2005,
CiE.
Lars Kristiansen,
Ivan Georgiev,
Frank Stephan,
2021,
Ann. Pure Appl. Log..
John Case,
Arun Sharma,
Frank Stephan,
1998,
Inf. Comput..
Frank Stephan,
Sebastiaan Terwijn,
F. Stephan,
1997,
Inf. Comput..
Frank Stephan,
P. S. Thiagarajan,
Shaofa Yang,
2006,
HSCC.
Henning Fernau,
Frank Stephan,
F. Stephan,
1997,
Developments in Language Theory.
John Case,
Sanjay Jain,
Frank Stephan,
1996,
Theor. Comput. Sci..
André Nies,
Frank Stephan,
Kenshi Miyabe,
2018,
J. Log. Anal..
André Nies,
Frank Stephan,
Rodney G. Downey,
2002,
CCA.
F. Stephan,
Rahul Jain,
Sanjay Jain,
2014,
Lecture Notes in Computer Science.
Sanjay Jain,
Frank Stephan,
Pavel Semukhin,
2009,
Theor. Comput. Sci..
Frank Stephan,
Sasha Rubin,
Bakhadyr Khoussainov,
2005,
TOCL.
Arun Sharma,
Frank Stephan,
Eric Martin,
2002,
ICLP.
Sanjay Jain,
Jason Teutsch,
Frank Stephan,
2016,
ArXiv.
Frank Stephan,
Ivan Georgiev,
Lars Kristiansen,
2018,
CiE.
Frank Stephan,
Lars Kristiansen,
Ivan Georgiev,
2018,
1804.05330.
Jason Teutsch,
Frank Stephan,
Jason Teutsch,
2012,
The Journal of Symbolic Logic.
Frank Stephan,
Liang Yu,
Yue Yang,
2009
.
Sanjay Jain,
Frank Stephan,
Lorenzo Carlucci,
2012,
J. Comput. Syst. Sci..
Philipp Schlicht,
Sanjay Jain,
Frank Stephan,
2018,
Inf. Process. Lett..
Frank Stephan,
F. Stephan,
2001,
Journal of Symbolic Logic.
Jing Zhang,
Frank Stephan,
Rupert Hölzl,
2017,
Computability and Complexity.
Frank Stephan,
Stephen G. Simpson,
S. G. Simpson,
2015,
Ann. Pure Appl. Log..
Frank Stephan,
Wolfgang Merkle,
F. Stephan,
2007,
Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07).
Frank Stephan,
Martin Kummer,
F. Stephan,
1993,
COLT '93.
Arun Sharma,
Frank Stephan,
Eric Martin,
2007,
Induction, Algorithmic Learning Theory, and Philosophy.
Frank Stephan,
Liang Yu,
F. Stephan,
2006,
TAMC.
Wolfgang Merkle,
Bjørn Kjos-Hanssen,
Frank Stephan,
2006,
STACS.
André Nies,
Frank Stephan,
Wolfgang Merkle,
2005,
Ann. Pure Appl. Log..
Leonor Becerra-Bonache,
John Case,
Sanjay Jain,
2008,
Theor. Comput. Sci..
Frank Stephan,
Martin Kummer,
F. Stephan,
1994,
Annual Conference Computational Learning Theory.
Frank Stephan,
Martin Kummer,
F. Stephan,
1995,
FCT.
Stuart A. Kurtz,
Lance Fortnow,
Sanjay Jain,
1994,
Ann. Pure Appl. Log..
Frank Stephan,
Martin Kummer,
F. Stephan,
1995,
Inf. Comput..
Frank Stephan,
Martin Kummer,
F. Stephan,
1993,
Kurt Gödel Colloquium.
Frank Stephan,
Kejia Ho,
F. Stephan,
2002,
Ann. Pure Appl. Log..
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2010,
Encyclopedia of Machine Learning.
John Case,
Rolf Wiehagen,
Frank Stephan,
2008,
Inf. Comput..
F. Stephan,
Ganesh Baliga,
J. Case,
2000,
ICALP.
John Case,
Frank Stephan,
Sanjay Jain,
2004
.
George Barmpalias,
Frank Stephan,
F. Stephan,
2017,
ArXiv.
Sanjay Jain,
Frank Stephan,
Rupert Hölzl,
2016,
Ann. Pure Appl. Log..
Frank Stephan,
Chi Tat Chong,
Gordon Hoi,
2015,
Log. Methods Comput. Sci..
Guohua Wu,
Johanna N. Y. Franklin,
Frank Stephan,
2011,
The Journal of Symbolic Logic.
Sanjay Jain,
Jason Teutsch,
Frank Stephan,
2009,
J. Comput. Syst. Sci..
F. Stephan,
Susanne Kaufmann,
1997,
Theor. Comput. Sci..
Sanjay Jain,
Frank Stephan,
Sanjay Jain,
2009,
COLT.
Frank Stephan,
Carl G. Jockusch,
F. Stephan,
1993,
Math. Log. Q..