T. Studer
发表
P. Stouppa,
T. Studer,
2007
.
T. Studer,
2021,
Logical Investigations.
T. Studer,
E. Lehmann,
2020
.
T. Studer,
M. Marti,
2016
.
T. Studer,
2007
.
G. Jäger,
T. Studer,
Mathis Kretz,
2005
.
K. Stoffel,
T. Studer,
2006
.
T. Studer,
M. Dürig,
2022
.
T. Studer,
2018
.
T. Studer,
2013
.
G. Bezhanishvili,
G. Metcalfe,
T. Studer,
2018
.
T. Studer,
Daria Spescha,
2006
.
G. Jäger,
T. Studer,
Mathis Kretz,
2022
.
Federico L. G. Faroldi,
T. Studer,
E. Lehmann,
2022,
Journal of Logic and Computation.
T. Studer,
2012
.
T. Studer,
Chao Xu,
Yanjing Wang,
2019,
Synthese.
Thomas Studer,
Reinhard Kahle,
T. Studer,
2001,
J. Log. Algebraic Methods Program..
Thomas Studer,
T. Studer,
2001
.
Thomas Studer,
Nenad Savić,
Ioannis Kokkinis,
2020
.
Meghdad Ghari,
Thomas Studer,
Samuel Bucheli,
2017,
M4M@ICLA.
Thomas Studer,
Kilian Stoel,
T. Studer,
2004
.
Thomas Studer,
T. Studer,
2001,
J. Log. Comput..
Thomas Studer,
Michael Dürig,
T. Studer,
2005,
Description Logics.
Thomas Studer,
T. Studer,
2020,
ArXiv.
Thomas Studer,
Dieter Probst,
T. Studer,
2001,
Theor. Comput. Sci..
T. Studer,
Ciro Larrzabal Mazuelo,
2009
.
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2011,
TbiLLC.
Thomas Studer,
Dieter Probst,
Kai Brünnler,
2008,
Math. Log. Q..
Thomas Studer,
Michel Marti,
T. Studer,
2018
.
Thomas Studer,
T. Studer,
2008,
Stud Logica.
Thomas Studer,
Roman Kuznets,
T. Studer,
2016,
Log. J. IGPL.
Nenad Savic,
Thomas Studer,
T. Studer,
2019,
FLAP.
Thomas Studer,
Dandolo Flumini,
Kai Brünnler,
2017,
LFCS.
M. Dastani,
T. Studer,
Jieting Luo,
2023,
Adaptive Agents and Multi-Agent Systems.
Thomas Studer,
Dragan Doder,
Zoran Ognjanović,
2019,
ECSQARU.
Thomas Studer,
Zoran Ognjanović,
Bojan Marinković,
2019,
J. Log. Comput..
Thomas Studer,
Hamzeh Mohammadi,
T. Studer,
2019,
ECSQARU.
Thomas Studer,
T. Studer,
2001,
Proof Theory in Computer Science.
Z. Ognjanovic,
D. Doder,
T. Studer,
2019,
TbiLLC.
Thomas Studer,
Roman Kuznets,
T. Studer,
2013,
LFCS.
Thomas Studer,
T. Studer,
2009,
Inf. Process. Lett..
Thomas Studer,
Gerhard Jäger,
Mathis Kretz,
2008,
J. Log. Algebraic Methods Program..
Thomas Studer,
T. Studer,
2005,
Ann. Pure Appl. Log..
Thomas Studer,
Reinhard Kahle,
T. Studer,
2000,
CSL.
T. Studer,
2004
.
Thomas Studer,
T. Studer,
1997
.
Thomas Studer,
Gerhard Jäger,
Reinhard Kahle,
2001,
Ann. Pure Appl. Log..
Z. Ognjanovic,
Ioannis Kokkinis,
T. Studer,
2020,
LFCS.
Thomas Studer,
Roman Kuznets,
Samuel Bucheli,
2010,
J. Appl. Non Class. Logics.