Lecture Notes in Computer Science
© 1976
Komplexität von Entscheidungsproblemen
Ein Seminar
Editors: Specker, E., Strassen, V. (Hrsg.)
Buy this book
- Table of contents (12 chapters)
-
-
Einleitung
Pages 1-10
-
I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion
Pages 11-19
-
II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems
Pages 20-35
-
III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind
Pages 36-48
-
IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben
Pages 49-71
-
Table of contents (12 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Komplexität von Entscheidungsproblemen
- Book Subtitle
- Ein Seminar
- Editors
-
- E. Specker
- V. Strassen
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 43
- Copyright
- 1976
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-38212-6
- DOI
- 10.1007/3-540-07805-3
- Softcover ISBN
- 978-3-540-07805-0
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- 217
- Topics
