TY - CHAP AU - Lippe, Wolfram-Manfred LA - ger N1 - Schneider, Hansjürgen (Hrsg.): Programmiersprachen. Berlin : Springer, 1976, S. 124-134 PY - 1976 SN - 3-540-07619-0 TI - Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen UR - https://nbn-resolving.org/urn:nbn:de:hbz:6-69329426436 Y2 - 2024-11-21T16:39:45 ER -