
On P Versus NP
I generalize a wellknown result that P = NP fails for monotone polynomi...
read it

Proof compression and NP versus PSPACE. Part 2
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]:...
read it

Proof compression and NP versus PSPACE: Addendum
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]:...
read it

Predicative proof theory of PDL and basic applications
Propositional dynamic logic (PDL) is presented in Schüttestyle mode as ...
read it
Lev Gordeev
is this you? claim profile