Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen
Verfasser: | |
---|---|
FB/Einrichtung: | FB 10: Mathematik und Informatik |
Dokumenttypen: | Teil eines Buches |
Medientypen: | Text |
Erscheinungsdatum: | 1976 |
Publikation in MIAMI: | 25.09.2012 |
Datum der letzten Änderung: | 25.01.2016 |
Angaben zur Ausgabe: | [Electronic ed.] |
Quelle: | Schneider, Hansjürgen (Hrsg.): Programmiersprachen. Berlin : Springer, 1976, S. 124-134 |
Fachgebiet (DDC): | 510: Mathematik |
Lizenz: | InC 1.0 |
Sprache: | Deutsch |
Format: | PDF-Dokument |
ISBN: | 3-540-07619-0 |
URN: | urn:nbn:de:hbz:6-69329426436 |
Permalink: | https://nbn-resolving.de/urn:nbn:de:hbz:6-69329426436 |
Onlinezugriff: | 1976_lippe_entsc.pdf |