Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
6. References
Brüggemann, A.: Personal communication
Brüggemann, A./Priese, L./ Rödding, D./ Schätz, R.: Modular Decomposition of Automata. In: Börger, E./ Hasenjäger, G./ Rödding, D. (eds), Proceedings of the Symposium "Rekursive Kombinatorik", Münster 1983. To appear in LNCS (1984)
Kniza, K.-P.: Automaten und rekursive Funktionale endlichen Typs, Dissertation, Inst. f. math. Logik und Grundlagenforschung, Münster 1980
Kleine Büning, H.: Complexity of Loop-Problems in Normed Networks. In: Börger, E./ Hasenjäger, G./ Rödding, D. (eds.), Proceedings of the Symposium "Rekursive Kombinatorik", Münster 1983. To appear in LNCS (1984)
Körber, P./ Ottmann, Th.: Simulation endlicher Automaten durch Ketten aus einfachen Bausteinautomaten. EIK lo (1974)
Körber, P.: Untersuchungen an sequentiellen, durch normierte Konstruktionen gewonnenen Netzwerken endlicher Automaten. Dissertation, Inst. f. math. Logik und Grundlagenforschung, Münster 1976
Ottmann, Th.: Über Möglichkeiten zur Simulation endlicher Automaten durch eine Art sequentieller Netzerke aus einfachen Bausteinen. ZmLG 19 (1973)
Ottmann, Th.: Arithmetische Prädikate über einem Bereich endlicher Automaten. Arch. math. Logik 16 (1974)
Ottmann, Th.: Eine einfache universelle Menge endlicher Automaten. ZmLG 24 (1978)
Rödding, D.: Modular Decomposition of Automata (Survey). in: Karpinski, M. (ed.), Proceedings of the 1983 International FCT-Conference, LNCS 158
Vobl, R.: Komplexitätsuntersuchungen an Basisdarstellungen endlicher Automaten. Diplomarbeit, Inst. f. math. Logik und Grundlagenforschung, Münster (1980).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Rödding, D. (1984). Some logical problems connected with a modular decomposition theory of automata. In: Börger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds) Computation and Proof Theory. Lecture Notes in Mathematics, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099492
Download citation
DOI: https://doi.org/10.1007/BFb0099492
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13901-0
Online ISBN: 978-3-540-39119-7
eBook Packages: Springer Book Archive