“An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits” by Lengál et al., applies techniques ...

Some “natural” logics preserve the “constructive” nature of the existential quantifier and thus guarantee the existence of ...