Chapter PDF
Literatur
Ackermann, W., Ueber die Hilbertsche Definition der reellen Zahlen, Math. Ann. 99 (1928) 118–133.
Ackermann, W., Solvable Cases of the Decision Problem, North-Holland, Amsterdam 1954.
Asser, G., Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität, Z. Math. Logik Grundlagen Math. 1 (1956) 252–263.
Bennett, J., On Spectra, Doctoral Dissertation, Princeton University, 1962 (Microfilm H01: 63–496).
Büchi, J.R., Turing Machines and the Entscheidungsproblem, Math. Ann. 148 (1962) 201–213.
Christen, C.A., Spektren und Klassen elementarer Funktionen, Dissertation 5330, ETH Zürich 1974.
Jones, N.D./Selman, A.L., Turing Machines and the Spectra of First-order Formulas, J. Symbolic Logic 39 (1974) 139–150.
Kuroda, S.Y., Classes of languages and linear-bounded automata, Information and Control 7 (1964) 207–223.
Landweber, P., Three theorems on phrase structure grammars of type 1, Information and Control 6 (1963) 131–137.
Löwenheim, L., Ueber Möglichkeiten im Relativkalkül, Math. Ann. 76 (1915) 137–148.
Pazderski, G., Die Ordnungen, zu denen nur Gruppen mit gegebener Eigenschaft gehören, Arch. Math. 10 (1959) 331–343.
Ritchie, R.W., Classes of predictably computable functions, Trans. AMS 106 (1963) 139–173.
Rödding, D./Schwichtenberg, H., Bemerkungen zum Spektralproblem, Z. Math. Logik Grundlagen Math. 18 (1972) 1–12.
Scholz, H., Ein ungelöstes Problem in der symbolischen Logik, J. Symbolic Logic 17 (1952) 160.
Smullyan, R., Theory of Formal Systems, Ann. of Math. Studies 47, Princeton 1961.
Trachtenbrot, B.A., Névozmojnost algorifma dla problemy razréšimosti na konécyh klassah (Unmöglichkeit eines Algorithmus für das Entscheidungsproblem in endlichen Klassen), Doklady Akad. Nauk SSSR 70 (1950) 569–572.
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Christen, CA. (1976). VII. Spektralproblem und Komplexitätstheorie. In: Strassen, V., Specker, E. (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_8
Download citation
DOI: https://doi.org/10.1007/3-540-07805-3_8
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