Christian Dalvit

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Top Venues

Arch. Formal Proofs

Publications

Christian Dalvit
Zeckendorf's Theorem. Arch. Formal Proofs 2023 (2023)
Christian Dalvit, René Thiemann
A Verified Translation of Multitape Turing Machines into Singletape Turing Machines. Arch. Formal Proofs 2022 (2022)