Branch Sequentialization in Quantum Polytime

Emmanuel Hainry, Romain Péchoux, Mário Silva 0001. Branch Sequentialization in Quantum Polytime. In Maribel Fernández, editor, 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK. Volume 337 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Abstract

Abstract is missing.