Login / Signup
Komplexität von Entscheidungsproblemen 1976
1976
1976
1976
Keyphrases
Publications
1976
Ernst Specker
Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme.
Komplexität von Entscheidungsproblemen 1976
(1976)
Martin Fürer
Polynomiale Transformationen und Auswahlaxiom.
Komplexität von Entscheidungsproblemen 1976
(1976)
Martin Fürer
Simulation von Turingmaschinen mit logischen Netzen.
Komplexität von Entscheidungsproblemen 1976
(1976)
Alex Häussler
Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems.
Komplexität von Entscheidungsproblemen 1976
(1976)
Joachim von zur Gathen
,
Malte Sieveking
Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben.
Komplexität von Entscheidungsproblemen 1976
(1976)
Walter Baur
Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion.
Komplexität von Entscheidungsproblemen 1976
(1976)
H. R. Wüthrich
Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper.
Komplexität von Entscheidungsproblemen 1976
(1976)
Peter Schuster
Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind.
Komplexität von Entscheidungsproblemen 1976
(1976)
Ernst Specker
,
Georges Wick
Längen und Formeln.
Komplexität von Entscheidungsproblemen 1976
(1976)
Joos Heintz
Untere Schranken für die Komplexität logischer Entscheidungsprobleme.
Komplexität von Entscheidungsproblemen 1976
(1976)
Claude-André Christen
Spektralproblem und Komplexitätstheorie.
Komplexität von Entscheidungsproblemen 1976
(1976)