Komplexität von Entscheidungsproblemen 1976

Ernst Specker, Volker Strassen (Eds.): Komplexität von Entscheidungsproblemen, Ein Seminar. Lecture Notes in Computer Science 43 Springer 1976, ISBN 3-540-07805-3

@proceedings{DBLP:conf/ac/1976ent,
  editor    = {Ernst Specker and
               Volker Strassen},
  title     = {Komplexit{\"a}t von Entscheidungsproblemen, Ein Seminar},
  booktitle = {Komplexit{\"a}t von Entscheidungsproblemen},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {43},
  year      = {1976},
  isbn      = {3-540-07805-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Walter Baur: Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion. 11-19
Alex Häussler: Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. 20-35
Peter Schuster: Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. 36-48
Joachim von zur Gathen, Malte Sieveking: Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben. 49-71
Ernst Specker: Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. 72-85
Martin Fürer: Polynomiale Transformationen und Auswahlaxiom. 86-101
Claude-André Christen: Spektralproblem und Komplexitätstheorie. 102-126
Joos Heintz: Untere Schranken für die Komplexität logischer Entscheidungsprobleme. 127-137
H. R. Wüthrich: Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. 138-162
Martin Fürer: Simulation von Turingmaschinen mit logischen Netzen. 163-181
Ernst Specker, Georges Wick: Längen und Formeln. 182-217