|
" Komplexitaẗ von Entscheidungsproblemen : "
by E. Specker, V. Strassen.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745901
|
| Doc. No
|
:
|
b565850
|
| Main Entry
|
:
|
by E. Specker, V. Strassen.
|
| Title & Author
|
:
|
Komplexitaẗ von Entscheidungsproblemen : : Ein Seminar\ by E. Specker, V. Strassen.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1976
|
| Series Statement
|
:
|
Lecture notes in computer science, 43.
|
| Page. NO
|
:
|
: v.: digital
|
| ISBN
|
:
|
3540078053
|
|
|
:
|
: 3540382127
|
|
|
:
|
: 9783540078050
|
|
|
:
|
: 9783540382126
|
| 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.
|
| LC Classification
|
:
|
QA9.65B947 1976
|
| Added Entry
|
:
|
Ernst Specker
|
|
|
:
|
V Strassen
|
| |