Proof Compression and NP Versus PSPACE

Autor(en):

Gordeev, L.; Haeusler, E. H.

Tübinger Autor(en):

Erschienen in:

Studia Logica (2019), Bd. 107, H. SI, S. 53-83

Verlagsangabe:

Springer

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1572-8730

DDC-Klassifikation:

004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie
510 - Mathematik
610 - Medizin, Gesundheit

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: