UID:
almahu_9948192481602882
Umfang:
217 S.
,
online resource.
Ausgabe:
1st ed. 1976.
ISBN:
9783540382126
Serie:
Lecture Notes in Computer Science, 43
Anmerkung:
I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion -- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems -- III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind -- IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben -- V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme -- VI. Polynomiale Transformationen und Auswahlaxiom -- VII. Spektralproblem und Komplexitätstheorie -- VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme -- IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper -- X. Simulation von Turingmaschinen mit logischen Netzen -- XI. Längen von Formeln.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783540078050
Sprache:
Deutsch
DOI:
10.1007/3-540-07805-3
URL:
https://doi.org/10.1007/3-540-07805-3
