Thomas Ammer
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Publications (10 Years): 2
Top Venues
Publications
- Thomas Ammer, Katharina KreuzerNumber Theoretic Transform. Arch. Formal Proofs 2022 (2022)
- Thomas Ammer, Peter Lammichvan Emde Boas Trees. Arch. Formal Proofs 2021 (2021)