Literaturnachweis - Detailanzeige
Autor/in | Stein, M. |
---|---|
Titel | Die Unentscheidbarkeit des Halte-Problems. |
Quelle | In: Praxis der Mathematik, 39 (1997) 2, S. 85-88 |
Sprache | deutsch |
Dokumenttyp | gedruckt; Zeitschriftenaufsatz |
ISSN | 0032-7042 |
Schlagwörter | Theoretische Informatik; Berechenbarkeit; Mathematische Logik; Aussagelogik |
Erfasst von | FIZ Karlsruhe - Leibniz-Institut für Informationsinfrastruktur |
Update | 1998_(CD) |