2 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
L. Gordeev, E. H. Haeusler
In [GH1] and [GH2] (see also [GH3]) we presented full proof of the equalities NP = coNP = PSPACE. These results have been obtained by the novel proof theoretic tree-to-dag compress…