E. H. Haeusler | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

L. Gordeev
2 publications

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. ∙

Success!

An error occurred