Florian Steinberg
发表
Florian Steinberg,
Florian Steinberg,
2016,
Log. Methods Comput. Sci..
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
CiE.
Parametrised second-order complexity theory with applications to the study of interval computation
pdf
Eike Neumann,
Florian Steinberg,
Florian Steinberg,
2017,
Theor. Comput. Sci..
Florian Steinberg,
Ricardo Vanella,
Carlos Lucca,
2001
.
Franz Brauße,
Florian Steinberg,
Florian Steinberg,
2017,
ArXiv.
Akitoshi Kawamura,
Florian Steinberg,
Florian Steinberg,
2017,
FSCD.
Bruce M. Kapron,
Florian Steinberg,
2018,
LICS.
Arno Pauly,
Florian Steinberg,
Florian Steinberg,
2015,
Theory of Computing Systems.
Matthias Schröder,
Florian Steinberg,
Florian Steinberg,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Akitoshi Kawamura,
Holger Thies,
Florian Steinberg,
2019,
TAMC.
Rüdiger Zarnekow,
Florian Steinberg,
Danny Pannicke,
2013,
Wirtschaftsinformatik.
Akitoshi Kawamura,
Holger Thies,
Florian Steinberg,
2018,
WoLLIC.
Arno Pauly,
Florian Steinberg,
2016,
CSR.
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Florian Steinberg,
Pieter Smidt,
2010
.
Florian Steinberg,
1994
.
Laurent Théry,
Holger Thies,
Florian Steinberg,
2019,
ITP.
Martin Ziegler,
Matthias Schröder,
Florian Steinberg,
2015,
MACIS.
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
Mathematical Structures in Computer Science.
Florian Steinberg,
F. Steinberg,
2007
.
Florian Steinberg,
F. Steinberg,
2005
.
Florian Steinberg,
2004
.
Florian Steinberg,
F. Steinberg,
1998
.
Florian Steinberg,
Parulian Sidabutar,
Nana Rukmana,
1991
.
Florian Steinberg,
F. Steinberg,
1996
.