Advertisement

VII. Spektralproblem und Komplexitätstheorie

  • Claude-André Christen
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 43)

Literatur

  1. Ackermann, W., Ueber die Hilbertsche Definition der reellen Zahlen, Math. Ann. 99 (1928) 118–133.Google Scholar
  2. Ackermann, W., Solvable Cases of the Decision Problem, North-Holland, Amsterdam 1954.Google Scholar
  3. Asser, G., Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität, Z. Math. Logik Grundlagen Math. 1 (1956) 252–263.Google Scholar
  4. Bennett, J., On Spectra, Doctoral Dissertation, Princeton University, 1962 (Microfilm H01: 63–496).Google Scholar
  5. Büchi, J.R., Turing Machines and the Entscheidungsproblem, Math. Ann. 148 (1962) 201–213.Google Scholar
  6. Christen, C.A., Spektren und Klassen elementarer Funktionen, Dissertation 5330, ETH Zürich 1974.Google Scholar
  7. Jones, N.D./Selman, A.L., Turing Machines and the Spectra of First-order Formulas, J. Symbolic Logic 39 (1974) 139–150.Google Scholar
  8. Kuroda, S.Y., Classes of languages and linear-bounded automata, Information and Control 7 (1964) 207–223.Google Scholar
  9. Landweber, P., Three theorems on phrase structure grammars of type 1, Information and Control 6 (1963) 131–137.Google Scholar
  10. Löwenheim, L., Ueber Möglichkeiten im Relativkalkül, Math. Ann. 76 (1915) 137–148.Google Scholar
  11. Pazderski, G., Die Ordnungen, zu denen nur Gruppen mit gegebener Eigenschaft gehören, Arch. Math. 10 (1959) 331–343.Google Scholar
  12. Ritchie, R.W., Classes of predictably computable functions, Trans. AMS 106 (1963) 139–173.Google Scholar
  13. Rödding, D./Schwichtenberg, H., Bemerkungen zum Spektralproblem, Z. Math. Logik Grundlagen Math. 18 (1972) 1–12.Google Scholar
  14. Scholz, H., Ein ungelöstes Problem in der symbolischen Logik, J. Symbolic Logic 17 (1952) 160.Google Scholar
  15. Smullyan, R., Theory of Formal Systems, Ann. of Math. Studies 47, Princeton 1961.Google Scholar
  16. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Claude-André Christen

There are no affiliations available

Personalised recommendations