M. Ziegler
发表
M. Ziegler,
1995
.
Tamás Lukovszki,
Matthias Fischer,
Martin Ziegler,
1998,
ESA.
M. Ziegler,
A. Czumaj,
C. Sohler,
2000
.
M. Ziegler,
Sung-eui Yoon,
Donghyuk Kim,
2019
.
M. Ziegler,
Johannes Kanig,
N. Preining,
2016
.
M. Ziegler,
K. Tent,
2012
.
M. Ziegler,
A. Baudisch,
A. Martin-Pizarro,
2014,
1411.0510.
M. Ziegler,
A. Baudisch,
A. Martin-Pizarro,
2012,
1210.2552.
M. Ziegler,
2006
.
M. Ziegler,
Shu-Ming Sun,
Ning Zhong,
2019,
1908.01226.
Martin Ziegler,
M. Ziegler,
2004
.
M. Ziegler,
A. Czumaj,
C. Sohler,
2007
.
Advisor,
M. Ziegler,
Auf Der Heide,
2011
.
M. Ziegler,
R. Göbel,
1989
.
M. Ziegler,
2006,
math/0608433.
M. Ziegler,
C. Herrmann,
2022
.
Pieter Collins,
Eike Neumann,
Sewon Park,
2016
.
M. Ziegler,
1997
.
M. Ziegler,
K. Tent,
2009,
0903.1384.
M. Ziegler,
2004
.
M. Ziegler,
J. Flum,
1980
.
M. Ziegler,
E. Courcelle,
J. Makowsky,
1992
.
M. Ziegler,
2004,
quant-ph/0410141.
Jörg Flum,
Martin Ziegler,
Martin Ziegler,
1980
.
M. Ziegler,
C. Herrmann,
2018,
Algebra universalis.
M. Ziegler,
B. Fuchssteiner,
2002,
quant-ph/0210198.
M. Ziegler,
Matthias Aschenbrenner,
A. Chernikov,
2020,
2008.09889.
M. Ziegler,
Gisela Ahlbrandt,
1992
.
M. Ziegler,
E. Casanovas,
2000
.
M. Ziegler,
C. Herrmann,
2018,
Algebra universalis.
M. Ziegler,
G. Pogudin,
S. Selivanova,
2023,
J. Complex..
M. Ziegler,
M. Fischer,
Tamás Lukovszki,
1999
.
M. Ziegler,
Donghyun Lim,
2012
.
Christian Herrmann,
Martin Ziegler,
M. Ziegler,
2010,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Martin Ziegler,
Katharina Lürwer-Brüggemeier,
M. Ziegler,
2007,
UC.
Arno Pauly,
Martin Ziegler,
Dongseong Seon,
2019,
CSL.
M. Ziegler,
N. Preining,
Pieter Collins,
2016,
1608.05787.
Martin Ziegler,
Michael Nüsken,
M. Ziegler,
2004,
ESA.
Martin Ziegler,
Sewon Park,
Norbert Th. Müller,
2016,
ArXiv.
Martin Ziegler,
M. Ziegler,
2008,
Appl. Math. Comput..
Martin Ziegler,
M. Reza Emamy-Khansary,
M. Ziegler,
2008,
Discret. Appl. Math..
Martin Ziegler,
M. Ziegler,
2005
.
Saharon Shelah,
Martin Ziegler,
Martin Ziegler,
1979,
Journal of Symbolic Logic.
Martin Ziegler,
Anand Pillay,
M. Ziegler,
2003
.
Martin Ziegler,
Svetlana Selivanova,
Ivan Koswara,
2019,
CSR.
M. Ziegler,
N. Preining,
Pieter Collins,
2016
.
M. Ziegler,
C. Herrmann,
2010,
ArXiv.
Martin Ziegler,
M. Ziegler,
2007,
Technischer Bericht : Reihe Informatik.
Martin Ziegler,
M. Ziegler,
1984,
Ann. Pure Appl. Log..
M. Ziegler,
M. Prest,
P. Rothmaler,
1994
.
M. Ziegler,
G. Puninski,
2011
.
Martin Ziegler,
Alexander Prestel,
M. Ziegler,
1978
.
M. Ziegler,
M. Prest,
P. Rothmaler,
1995
.
M. Ziegler,
ApplicationsVolkmar,
Welker,
1997
.
M. Ziegler,
2019,
Advances in Algebra and Model Theory.
Martin Ziegler,
Stéphane Le Roux,
M. Ziegler,
2006,
Math. Log. Q..
Akitoshi Kawamura,
Martin Ziegler,
Norbert Th. Müller,
2012,
ArXiv.
Christian Schindelhauer,
Klaus Volbert,
Martin Ziegler,
2004,
ISAAC.
Martin Ziegler,
Tobias Gärtner,
M. Ziegler,
2010,
CCA.
Wouter M. Koolen,
Martin Ziegler,
M. Ziegler,
2008,
CCA.
Martin Ziegler,
M. Ziegler,
2007,
CiE.
Klaus Meer,
Martin Ziegler,
M. Ziegler,
2006,
CiE.
Martin Ziegler,
M. Ziegler,
2005,
ArXiv.
Martin Ziegler,
Vasco Brattka,
M. Ziegler,
2004,
Theor. Comput. Sci..
M. Ziegler,
2003
.
Martin Ziegler,
M. Ziegler,
2003,
ISAAC.
Martin Ziegler,
Matthias Englert,
Sandra Siebert,
2014,
ArXiv.
Martin Ziegler,
M. Ziegler,
2006,
CCA.
Klaus Meer,
Martin Ziegler,
M. Ziegler,
2005,
J. Complex..
M. Ziegler,
G. Unter,
Florian Pfender,
2004
.
Martin Ziegler,
Gisela Ahlbrandt,
M. Ziegler,
1986,
Ann. Pure Appl. Log..
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
Mathematical Structures in Computer Science.
Martin Ziegler,
Gleb Pogudin,
Ivan Koswara,
2021,
CSR.
M. Ziegler,
Donghyun Lim,
2023,
ArXiv.
Donghyun Lim,
Martin Ziegler,
M. Ziegler,
2020,
ArXiv.
Martin Ziegler,
Donghyun Lim,
M. Ziegler,
2020,
CiE.
Akitoshi Kawamura,
Martin Ziegler,
Donghyun Lim,
2018,
1809.08695.
Akitoshi Kawamura,
Martin Ziegler,
Donghyun Lim,
2018,
ArXiv.
Akitoshi Kawamura,
Martin Ziegler,
Holger Thies,
2018,
MFCS.
Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs
pdf
Akitoshi Kawamura,
Martin Ziegler,
M. Ziegler,
2018,
ArXiv.
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization
pdf
Martin Ziegler,
Sewon Park,
Dongseong Seon,
2017,
ArXiv.
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
CiE.
Martin Ziegler,
Hugo Férée,
M. Ziegler,
2015,
MACIS.
Akitoshi Kawamura,
Martin Ziegler,
Norbert Th. Müller,
2015,
J. Complex..
Ulrike Brandt,
Martin Ziegler,
Klaus Ambos-Spies,
2013,
CiE.
Akitoshi Kawamura,
Martin Ziegler,
Carsten Rösnick,
2012,
MFCS.
Katrin Tent,
Martin Ziegler,
M. Ziegler,
2010
.
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra
pdf
Martin Ziegler,
M. Ziegler,
2008,
Ann. Pure Appl. Log..
Martin Ziegler,
Vasco Brattka,
M. Ziegler,
2001,
CCCG.
Christian Schindelhauer,
Martin Ziegler,
Sven Köhler,
2005,
FCT.
Martin Ziegler,
Florentin Neumann,
Andrea Reichenberger,
2009,
KI.
Jörg Flum,
Martin Ziegler,
M. Ziegler,
1999,
Journal of Symbolic Logic.
Martin Ziegler,
Matthias Schröder,
Florian Steinberg,
2015,
MACIS.
Arno Pauly,
Martin Ziegler,
M. Ziegler,
2011,
J. Log. Anal..
Martin Ziegler,
M. Ziegler,
2004,
Math. Log. Q..
Martin Ziegler,
M. Ziegler,
2002,
Math. Log. Q..
M. Ziegler,
C. Herrmann,
2018,
1811.07840.
Johann A. Makowsky,
Martin Ziegler,
M. Ziegler,
1981,
Arch. Math. Log..
M. Ziegler,
M. Ziegler,
1976
.
Martin Ziegler,
M. Ziegler,
2005,
J. Complex..
M. Ziegler,
C. Herrmann,
Yasuyuki Tsukamoto,
2015
.
M. Ziegler,
K. Tent,
2012
.
Markus Junker,
Martin Ziegler,
M. Ziegler,
2008,
Journal of Symbolic Logic.
Markus Junker,
Martin Ziegler,
M. Ziegler,
2008,
J. Symb. Log..
Martin Ziegler,
M. Ziegler,
2013,
Ann. Pure Appl. Log..