Bertram Felgenhauer
Publication Activity (10 Years)
Years Active: 2011-2022
Publications (10 Years): 17
Publications (10 Years): 17
Publications
- Alexander Lochmann, Bertram FelgenhauerFirst-Order Theory of Rewriting. Arch. Formal Proofs 2022 (2022)
- Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer
- Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas SternagelRegular Tree Relations. Arch. Formal Proofs 2021 (2021)
- Bertram Felgenhauer
- Bertram FelgenhauerMinsky Machines. Arch. Formal Proofs 2018 (2018)
- Bertram Felgenhauer
- Bertram Felgenhauer, Franziska Rapp
- Bertram Felgenhauer, René Thiemann
- Julian Nagele, Bertram Felgenhauer, Harald Zankl
- Bertram Felgenhauer
- Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
- Bertram Felgenhauer
- Bertram Felgenhauer, Aart Middeldorp
- Julian Nagele, Bertram Felgenhauer, Harald Zankl
- Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom, Christian SternagelThe Z Property. Arch. Formal Proofs 2016 (2016)
- Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
- Bertram FelgenhauerDecreasing Diagrams II. Arch. Formal Proofs 2015 (2015)
- Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom
- Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
- Bertram Felgenhauer, René Thiemann
- Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom
- Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
- Bertram Felgenhauer, Vincent van Oostrom
- Bertram Felgenhauer, Martin Avanzini, Christian Sternagel
- Bertram Felgenhauer
- Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
- Bertram Felgenhauer, Harald Zankl, Aart Middeldorp
- Harald Zankl, Bertram Felgenhauer, Aart Middeldorp