---

＜電子ブック＞
Komplexität von Entscheidungsproblemen : Ein Seminar / herausgegeben von E. Specker, V. Strassen
(Lecture Notes in Computer Science. ISSN:16113349 ; 43)

版	1st ed. 1976.
出版者	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
出版年	1976
本文言語	ドイツ語
大きさ	217 S : online resource
著者標目	Specker, E editor Strassen, V editor SpringerLink (Online service)
件　名	LCSH:Computer science FREE:Theory of Computation FREE:Computer Science
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-07805-3

 類似資料