Literatur
Blum, M.: A machine-independent theory of the complexity of recursive functions. J. Assoc. comp. Machin.14 (1967), 322–336.
Elgot, C. C., Mezei, J. E.: On relations defined by generalized finite automata. IBM J. Res. Devel.9 (1965), 47–68.
Ginsburg, S.: The mathematical theory of context-free languages. New York: McGraw-Hill 1966.
Hartmanis, J., Stearns, R. E.: On the computational complexity of algorithms. Trans. Amer. math. Soc.117 (1965), 285–306.
Hermes, H.: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin-Göttingen-Heidelberg: Springer-Verlag 1961.
Specker, E.: Nicht konstruktiv beweisbare Sätze der Analysis. J. symb. Logic14 (1949), 145–158.
Ceitin, G. S.: Algorithmische Operatoren in konstruktiven metrischen Räumen [russ.]. Trudy mat. Inst. Steklov.67 (1962), 295–361.
Author information
Authors and Affiliations
Additional information
Diese Arbeit wurde im Rahmen des Forschungsvorhabens Ho 251/7 von der Deutschen Forschungsgemeinschaft unterstützt.
Rights and permissions
About this article
Cite this article
Schnorr, CP. Komplexität von Algorithmen mit Anwendung auf die Analysis. Arch math Logik 14, 54–68 (1971). https://doi.org/10.1007/BF01974149
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01974149