Representing Hyper-arithmetical Sets by Equations over Sets of Integers | springerprofessional.de

Springer Professional

nach oben

Theory of Computing Systems

Erschienen in:

Open Access 01.08.2012

Representing Hyper-arithmetical Sets by Equations over Sets of Integers

verfasst von: Artur Jeż, Alexander Okhotin

Erschienen in: Theory of Computing Systems | Ausgabe 2/2012

Vorheriger Artikel On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography

Nächster Artikel Inseparability and Strong Hypotheses for Disjoint NP Pairs

Titel: Representing Hyper-arithmetical Sets by Equations over Sets of Integers
verfasst von: Artur Jeż
Alexander Okhotin
Publikationsdatum: 01.08.2012
Verlag: Springer-Verlag
Erschienen in: Theory of Computing Systems / Ausgabe 2/2012
Print ISSN: 1432-4350
Elektronische ISSN: 1433-0490
DOI: https://doi.org/10.1007/s00224-011-9352-5

Premium Partner

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024