17 citations · 42 across the 27 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CC2023
Proofs of NP = coNP = PSPACE: Current upgrade
Lev Gordeev, Edward Hermann Haeusler
In this paper we present a more transparent upgrade of our proofs and comment on Jerabek's paper [8].
cs.LO2023
Quantum Algorithm for Multiplicative Linear Logic
Lorenzo Saraiva, Edward Hermann Haeusler, Vaston Costa
This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search A…