Description |
1 online resource (224 pages) |
Series |
Lecture Notes in Computer Science Ser |
|
Lecture Notes in Computer Science Ser
|
Contents |
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 |
Subject |
Computer science.
|
|
Computers.
|
|
Electronic Data Processing
|
|
Computers
|
|
computers.
|
|
Computer science
|
|
Computers
|
Form |
Electronic book
|
Author |
Strassen, V., editor
|
ISBN |
3540078053 |
|
9783540078050 |
|