T. Strahm
发表
T. Strahm,
1996
.
Solomon Feferman,
Thomas Strahm,
S. Feferman,
2000,
Ann. Pure Appl. Log..
G. Jäger,
T. Strahm,
Ulrik Buchholtz,
2016
.
B. Khoussainov,
Matthias Aschenbrenner,
V. Becher,
2020,
The Journal of Symbolic Logic.
G. Jäger,
T. Strahm,
1999
.
S. Feferman,
T. Strahm,
2002
.
Jeffery I. Zucker,
Thomas Strahm,
T. Strahm,
2008,
J. Log. Algebraic Methods Program..
Thomas Strahm,
Giovanni Sommaruga,
T. Strahm,
2016
.
Thomas Strahm,
T. Strahm,
2004,
Theor. Comput. Sci..
Thomas Strahm,
T. Strahm,
2003,
Inf. Comput..
Gerhard Jäger,
Thomas Strahm,
T. Strahm,
1995,
Ann. Pure Appl. Log..
Thomas Strahm,
T. Strahm,
2001
.
Thomas Strahm,
Sebastian Eberhard,
T. Strahm,
2012
.
Gerhard Jäger,
Thomas Strahm,
Reinhard Kahle,
1999
.