Erweiterte Suche

Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen

Titel: Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen
Verfasser: Lippe, Wolfram-M.
Organisation: FB 10: Mathematik und Informatik
Dokumenttyp: Teil eines Buchs
Medientyp: Text
Erscheinungsdatum: 1976
Publikation in MIAMI: 25.09.2012
Datum der letzten Änderung: 25.01.2016
Quelle: Schneider, Hansjürgen (Hrsg.): Programmiersprachen. Berlin : Springer, 1976, S. 124-134
Fachgebiete: Mathematik
Sprache: Deutsch
Format: PDF-Dokument
ISBN: 3-540-07619-0
URN: urn:nbn:de:hbz:6-69329426436
Permalink: https://nbn-resolving.org/urn:nbn:de:hbz:6-69329426436
Onlinezugriff: