Benedikt Nordhoff
Publication Activity (10 Years)
Years Active: 2010-2021
Publications (10 Years): 2
Publications (10 Years): 2
Publications
- Benedikt Nordhoff
- Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff
- Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich
- Benedikt Nordhoff, Peter Lammich
- Benedikt Nordhoff, Stefan Körner, Peter LammichFinger Trees. Arch. Formal Proofs 2010 (2010)