Komplexität von Entscheidungsproblemen: Ein Seminar

Front Cover
E. Specker, V. Strassen
Springer Berlin Heidelberg, Jul 1, 1976 - Computers - 217 pages

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Einleitung
1
Zeitlich beschränkte Turingmaschinen und poly
11
Polynomial beschränkte nichtdeterministische
20
Probleme die zum Erfüllungsproblem der Aussagen
36
Weitere zum Erfüllungsproblem polynomial
49
Ein polynomialer Algorithmus zur Bestimmung unab
72
E Specker
86
Spektralproblem und Komplexitätstheorie
102
Untere Schranken für die Komplexität logischer
127
Ein Entscheidungsverfahren für die Theorie
138
Simulation von Turingmaschinen mit logischen
163
Längen und Formeln
182
Copyright

Other editions - View all

Bibliographic information