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

Verfasser: Lippe, Wolfram-Manfred
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

Kein Abstract verfügbar.