A. Day
发表
A. Day,
2022,
Scientometrics.
Adam R. Day,
Joseph S. Miller,
A. Day,
2013
.
Adam R. Day,
M. Harrison-Trainor,
Noam Greenberg,
2022,
2211.07961.
Mathieu Hoyrup,
Alexander Shen,
Laurent Bienvenu,
2010,
Inf. Comput..
Adam R. Day,
A. Day,
2010,
Ann. Pure Appl. Log..
M. Harrison-Trainor,
Noam Greenberg,
D. Turetsky,
2022,
2211.07958.
Joseph S. Miller,
A. Day,
2013
.
Adam R. Day,
Joseph S. Miller,
A. Day,
2013,
1304.2789.
George Barmpalias,
Adam R. Day,
George Barmpalias,
2011,
1111.1064.
Adam Day,
Rodney G. Downey,
Michelle Porter,
2016,
Theory of Computing Systems.
Adam R. Day,
Joseph S. Miller,
A. Day,
2012,
1206.1603.
Adam R. Day,
R. Downey,
L. Westrick,
2019,
Transactions of the American Mathematical Society, Series B.
Adam R. Day,
A. Day,
2013,
The Journal of Symbolic Logic.
Adam R. Day,
A. Day,
2011
.
Noam Greenberg,
A. Kucera,
Noam Greenberg,
2013,
The Bulletin of Symbolic Logic.
Jan Reimann,
Adam R. Day,
Jan Reimann,
2012,
Notre Dame J. Formal Log..