Jonas Bayer
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 8
Publications (10 Years): 8
Publications
- Jonas Bayer, Marco David, Abhik Pal, Benedikt StockDigit Expansions. Arch. Formal Proofs 2022 (2022)
- Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
- Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher