W. Thomas
发表
W. Thomas,
1988
.
Thomas Wilke,
E. Grädel,
W. Thomas,
2002
.
Wolfgang Thomas,
W. Thomas,
1982,
J. Comput. Syst. Sci..
W. Thomas,
1978
.
Wolfgang Thomas,
Oliver Matz,
W. Thomas,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Wolfgang Thomas,
Sebastian Seibert,
Andreas Potthoff,
1994
.
Wolfgang Thomas,
W. Thomas,
1997,
Structures in Logic and Computer Science.
W. Thomas,
2004
.
W. Thomas,
Stefan Wöhrle,
2004,
LICS 2004.
Wolfgang Thomas,
W. Thomas,
1983
.
W. Thomas,
2006
.
Y. Matias,
W. Thomas,
S. Albers,
2012
.
W. Thomas,
2014
.
Z. Ésik,
W. Thomas,
S. Salehi,
2005
.
Y. Matias,
W. Thomas,
S. Albers,
2019
.
Wolfgang Thomas,
Stefan Wöhrle,
W. Thomas,
2005
.
W. Thomas,
Christof Löding,
2000
.
Christof Löding,
Wolfgang Thomas,
W. Thomas,
1998
.
Jörg Flum,
H.-D. Ebbinghaus,
Wolfgang Thomas,
2021,
Mathematical Logic.
Jörg Flum,
Wolfgang Thomas,
Heinz-Dieter Ebbinghaus,
1994,
Undergraduate texts in mathematics.
W. Thomas,
P. Rohde,
Eva Giani,
2003
.
Michael M. Richter,
Egon Börger,
Wolfgang Thomas,
1984
.
Wolfgang Thomas,
W. Thomas,
2015
.
Howard Straubing,
Denis Thérien,
Wolfgang Thomas,
1995
.
Howard Straubing,
Denis Thérien,
Wolfgang Thomas,
1995,
Inf. Comput..
Wolfgang Thomas,
W. Thomas,
1993,
TAPSOFT.
Wolfgang Thomas,
W. Thomas,
1997,
Handbook of Formal Languages.
Wolfgang Thomas,
Andreas Potthoff,
W. Thomas,
1993,
FCT.
Howard Straubing,
Denis Thérien,
Wolfgang Thomas,
1988,
ICALP.
Wolfgang Thomas,
Jörg Olschewski,
Namit Chaturvedi,
2012,
Int. J. Found. Comput. Sci..
Wolfgang Thomas,
Jörg Olschewski,
Namit Chaturvedi,
2011,
Developments in Language Theory.
W. Thomas,
W. Thomas,
D. Lippert,
1988
.
Wolfgang Thomas,
W. Thomas,
1987,
Computation Theory and Logic.
Wolfgang Thomas,
W. Thomas,
2010,
Informatik-Spektrum.
Wolfgang Thomas,
W. Thomas,
1995,
STACS.
Jörg Flum,
Wolfgang Thomas,
Heinz-Dieter Ebbinghaus,
1985,
Undergraduate texts in mathematics.
Wolfgang Thomas,
W. Thomas,
2001,
Developments in Language Theory.
Wolfgang Thomas,
W. Thomas,
2009
.
Wolfgang Thomas,
W. Thomas,
1990
.
Thomas Wilke,
Wolfgang Thomas,
Erich Grädel,
2002,
Lecture Notes in Computer Science.
Wolfgang Thomas,
Ingo Felscher,
W. Thomas,
2009,
Int. J. Found. Comput. Sci..
Wolfgang Thomas,
W. Thomas,
1991,
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Wolfgang Thomas,
W. Thomas,
1981,
Theoretical Computer Science.
Wolfgang Thomas,
O. Matz,
Antonio J. Miller,
1994
.
Wolfgang Thomas,
Eija Jurvanen,
Andreas Potthoff,
1993,
International Conference on Developments in Language Theory.
Wolfgang Thomas,
W. Thomas,
2009,
FoSSaCS.
Wolfgang Thomas,
Sten Grüner,
Frank G. Radmacher,
2011,
Theor. Comput. Sci..
Wolfgang Thomas,
W. Thomas,
2011,
ICLA.
James Gross,
Wolfgang Thomas,
Frank G. Radmacher,
2010,
IFIP TCS.
Lukasz Kaiser,
Wolfgang Thomas,
Michael Holtmann,
2010,
Log. Methods Comput. Sci..
Wolfgang Thomas,
Paul Hänsch,
Michaela Slaats,
2009,
FCT.
Florian Horn,
Wolfgang Thomas,
Nico Wallmeier,
2008,
ATVA.
Wolfgang Thomas,
W. Thomas,
2008,
CSL.
Wolfgang Thomas,
Frank G. Radmacher,
W. Thomas,
2008,
VerAS@TPHOLs.
Alexander Moshe Rabinovich,
Wolfgang Thomas,
W. Thomas,
2007,
CSL.
Wolfgang Thomas,
W. Thomas,
2005,
ATVA.
Wolfgang Thomas,
W. Thomas,
2003,
MFCS.
Wolfgang Thomas,
W. Thomas,
2010,
Fields of Logic and Computation.
Wolfgang Thomas,
Paul Hänsch,
Michaela Slaats,
2009
.
Wolfgang Thomas,
W. Thomas,
2007
.
Wolfgang Thomas,
Dominik Klein,
Frank G. Radmacher,
2012,
Sci. Comput. Program..
Wolfgang Thomas,
Dominik Klein,
Frank G. Radmacher,
2009,
FSEN.
Wolfgang Thomas,
Stefan Wöhrle,
W. Thomas,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
W. Thomas,
B. Brütsch,
2021,
Fundamenta Informaticae.
Wolfgang Thomas,
Benedikt Brütsch,
W. Thomas,
2016,
Cassting/SynCoP.
Wolfgang Thomas,
W. Thomas,
2008,
SOFSEM.
Wolfgang Thomas,
Thierry Cachat,
Jacques Duparc,
2002,
CSL.
Wolfgang Thomas,
W. Thomas,
1994,
FSTTCS.
Wolfgang Thomas,
Helmut Lescow,
W. Thomas,
1993,
REX School/Symposium.
W. Thomas,
M. Holtmann,
2011
.
Wolfgang Thomas,
W. Thomas,
2008,
Pillars of Computer Science.
Wolfgang Thomas,
Nico Wallmeier,
Patrick Hütten,
2003,
CIAA.
Wolfgang Thomas,
W. Thomas,
1981,
Inf. Control..
Wolfgang Thomas,
W. Thomas,
2002,
CAV.
Wolfgang Thomas,
Patrick Landwehr,
Benedikt Brütsch,
2017,
LATA.
Wolfgang Thomas,
Christopher Spinrath,
Christopher Czyba,
2015,
DLT.
Sarah Winter,
Wolfgang Thomas,
Alex Spelten,
2011,
INFINITY.
Alexander Moshe Rabinovich,
Wolfgang Thomas,
W. Thomas,
2006,
CSL.
Wolfgang Thomas,
W. Thomas,
2003,
Theor. Comput. Sci..
Wolfgang Thomas,
W. Thomas,
1997,
TAPSOFT.
Wolfgang Thomas,
W. Thomas,
1997,
Partial Order Methods in Verification.
Antonio Restivo,
Wolfgang Thomas,
Dora Giammarresi,
1996,
Inf. Comput..
Wolfgang Thomas,
Thilo Hafer,
W. Thomas,
1987,
ICALP.
Olivier Carton,
Wolfgang Thomas,
W. Thomas,
2000,
Inf. Comput..
Wolfgang Thomas,
Bruno Durand,
W. Thomas,
2006,
STACS.
Wolfgang Thomas,
W. Thomas,
1979,
Inf. Control..
Wolfgang Thomas,
Nico Wallmeier,
Christoph Schulte Althoff,
2005,
Theor. Comput. Sci..