Florian Steinberg
发表
Florian Steinberg,
2017
.
Matthew de Brecht,
Florian Steinberg,
Zvonko Iljazovic,
2018
.
B. M. Kapron,
Florian Steinberg,
B. Kapron,
2018,
Logic in Computer Science.
Florian Steinberg,
E. Neumann,
2018
.
Arno Pauly,
Christine Gaßner,
Florian Steinberg,
2021,
CSL.
Akitoshi Kawamura,
Martin Ziegler,
Florian Steinberg,
2016,
Mathematical Structures in Computer Science.
Florian Steinberg,
Holger Thies,
Michal Konecný,
2020,
MFCS.
Florian Steinberg,
Holger Thies,
L. Théry,
2019,
Log. Methods Comput. Sci..
Akitoshi Kawamura,
Holger Thies,
Florian Steinberg,
2019,
TAMC.
Laurent Théry,
Holger Thies,
Florian Steinberg,
2019,
ITP.
Akitoshi Kawamura,
Holger Thies,
Florian Steinberg,
2018,
WoLLIC.
Parametrised second-order complexity theory with applications to the study of interval computation
pdf
Eike Neumann,
Florian Steinberg,
Florian Steinberg,
2017,
Theor. Comput. Sci..
Akitoshi Kawamura,
Florian Steinberg,
Florian Steinberg,
2017,
FSCD.
Franz Brauße,
Florian Steinberg,
Florian Steinberg,
2017,
ArXiv.
Matthias Schröder,
Florian Steinberg,
Florian Steinberg,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Florian Steinberg,
Florian Steinberg,
2016,
Log. Methods Comput. Sci..
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.
Arno Pauly,
Florian Steinberg,
Florian Steinberg,
2015,
Theory of Computing Systems.
Martin Ziegler,
Matthias Schröder,
Florian Steinberg,
2015,
MACIS.
Bruce M. Kapron,
Florian Steinberg,
B. M. Kapron,
2019,
DICE-FOPARA@ETAPS.