Chapter PDF
Literatur
Cook, S.A., The complexity of Theorem-Proving Procedures, Conf. Rec. of Third ACM Symp. on Th. of Computing (1970) 151–158.
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Häussler, A. (1976). II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. In: Strassen, V. (eds) Komplexität von Entscheidungsproblemen Ein Seminar. Lecture Notes in Computer Science, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07805-3_3
Download citation
DOI: https://doi.org/10.1007/3-540-07805-3_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07805-0
Online ISBN: 978-3-540-38212-6
eBook Packages: Springer Book Archive