E. H. Haeusler | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

L. Gordeev
3 publications

research

∙ 01/09/2022

On proof theory in computational complexity: overview

In [GH1] and [GH2] (see also [GH3]) we presented full proof of the equal...

0 L. Gordeev, et al. ∙

research

∙ 12/04/2020

On proof theory in computer science

The subject logic in computer science should entail proof theoretic appl...

0 L. Gordeev, et al. ∙

research

∙ 11/17/2020

Proof Compression and NP Versus PSPACE II: Addendum

In [3] we proved the conjecture NP = PSPACE by advanced proof theoretic ...

0 L. Gordeev, et al. ∙