Thomas Powell
发表
Thomas Powell,
Thomas Powell,
2013
.
Thomas Powell,
Brent Daniel McGrath,
2014
.
Thomas Powell,
2012
.
Thomas Powell,
Morenikeji Neri,
2022,
2207.14559.
Thomas Powell,
2019,
Journal of Mathematical Analysis and Applications.
Thomas Powell,
Thomas Powell,
2012,
CL&C.
Thomas Powell,
2020,
Archive for Mathematical Logic.
Thomas Powell,
Thomas Powell,
2017,
Trends in Logic.
Thomas Powell,
Thomas Powell,
2019,
Log. Methods Comput. Sci..
Peter Schuster,
Thomas Powell,
Franziskus Wiesnet,
2021,
Inf. Comput..
Peter Schuster,
Thomas Powell,
Franziskus Wiesnet,
2019,
WoLLIC.
Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs
pdf
Thomas Powell,
Thomas Powell,
2018,
Mathesis Universalis, Computability and Proof.
Thomas Powell,
Thomas Powell,
2014,
Ann. Pure Appl. Log..
Thomas Powell,
Morenikeji Neri,
2022,
J. Log. Anal..
Thomas Powell,
Thomas Powell,
2019,
Math. Log. Q..
Ulrich Kohlenbach,
Thomas Powell,
U. Kohlenbach,
2019,
Comput. Math. Appl..
Thomas Powell,
Franziskus Wiesnet,
Thomas Powell,
2021,
Numerical Functional Analysis and Optimization.