Author:
Theilig Max-Marcel,Liebig Hans,Rechenberg Peter
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Hermes H (1978) Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, 3. Aufl. Springer, Berlin
2. Hilbert D, Ackermann W (1972) Grundzüge der theoretischen Logik, 6. Aufl. Springer, Berlin
3. Hopcroft JE. Motwani R, Ullman JD (2002) Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, 2. Aufl. Pearson Studium, München
4. Hromkovič J (2014) Theoretische Informatik: Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie. Springer Vieweg, Wiesbaden
5. Liebig H (2003) Rechnerorganisation, 3. Aufl. Springer, Berlin