Thomas Sternagel
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 8
Publications (10 Years): 8
Publications
- Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas SternagelRegular Tree Relations. Arch. Formal Proofs 2021 (2021)
- Thomas Sternagel, Christian Sternagel
- Cynthia Kop, Aart Middeldorp, Thomas Sternagel
- Christian Sternagel, Thomas Sternagel
- Thomas Sternagel, Christian Sternagel
- Thomas Sternagel, Sarah Winkler, Harald Zankl
- Thomas Sternagel
- Cynthia Kop, Aart Middeldorp, Thomas Sternagel
- Thomas Sternagel, Aart Middeldorp
- Cezary Kaliszyk, Thomas Sternagel
- Thomas Sternagel, Harald Zankl