Peter Cholak
Affiliations: University of Notre Dame, USA
According to our database^{1},
Peter Cholak
authored at least 39 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on www3.nd.edu
On csauthors.net:
Bibliography
2023
Proceedings of the International Conference on Machine Learning, 2023
2022
Comput., 2022
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022
2020
Comput., 2020
2017
J. Symb. Log., 2017
Comput., 2017
Proceedings of the Computability and Complexity, 2017
Proceedings of the Incomputable: Journeys Beyond the Turing Barrier, 2017
2015
J. Symb. Log., 2015
2014
Ann. Pure Appl. Log., 2014
2012
Math. Log. Q., 2012
Comput., 2012
Ann. Pure Appl. Log., 2012
Proceedings of the How the World Computes, 2012
2009
J. Symb. Log., 2009
2008
Bull. Symb. Log., 2008
2007
Notre Dame J. Formal Log., 2007
2006
J. Symb. Log., 2006
Arch. Math. Log., 2006
2004
Reverse mathematics and the equivalence of definitions for well and better quasiorders.
J. Symb. Log., 2004
2003
J. Symb. Log., 2003
2002
J. Symb. Log., 2002
J. Math. Log., 2002
2001
J. Symb. Log., 2001
J. Symb. Log., 2001
Some orbits for E.
Ann. Pure Appl. Log., 2001
2000
Bull. Symb. Log., 2000
1999
J. Symb. Log., 1999
1998
Ann. Pure Appl. Log., 1998
1997
Ann. Pure Appl. Log., 1997
1995
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995
Automorphisms of the lattice of recursively enumerable sets.
Memoirs of the American Mathematical Society 541, American Mathematical Society, ISBN: 9780821826010, 1995
1994
Fundam. Informaticae, 1994
Arch. Math. Log., 1994
Arch. Math. Log., 1994
1993
J. Symb. Log., 1993
Ann. Pure Appl. Log., 1993
1992
Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, 1992
1990
J. Symb. Log., 1990