Proof Compression and NP Versus PSPACE

DSpace Repository

Proof Compression and NP Versus PSPACE

Author: Gordeev, L.; Haeusler, E. H.
Tübinger Autor(en):
Gordeev, Lev
Published in: Studia Logica (2019), Bd. 107, H. SI, S. 53-83
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s11225-017-9773-5
ISSN: 1572-8730
DDC Classifikation: 004 - Data processing and computer science
300 - Social sciences, sociology and anthropology
510 - Mathematics
610 - Medicine and health
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)