Publication services
→
Universitätsbibliographie
→
Browsing Universitätsbibliographie by Author

Browsing Universitätsbibliographie by Author "Gordeev, Lev"

Now showing items 1-2 of 2

Proof Compression and NP Versus PSPACE

Gordeev, L.; Haeusler, E. H. (2019)
Proof-theoretic conservations of weak weak intuitionistic constructive set theories

Gordeev, Lev (2013)

Now showing items 1-2 of 2

Report a Publication

Help

Browse

All of DSpace
This Community

My Account

Login