Florian Steinberg

发表

Florian Steinberg, Florian Steinberg, 2016, Log. Methods Comput. Sci..

Akitoshi Kawamura, Martin Ziegler, Florian Steinberg, 2016, CiE.

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.

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 .

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, Parulian Sidabutar, Nana Rukmana, 1991 .