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

Author: Lippe, Wolfram-Manfred
Division/Institute:FB 10: Mathematik und Informatik
Document types:Part of book
Media types:Text
Publication date:1976
Date of publication on miami:25.09.2012
Modification date:25.01.2016
Edition statement:[Electronic ed.]
Source:Schneider, Hansjürgen (Hrsg.): Programmiersprachen. Berlin : Springer, 1976, S. 124-134
DDC Subject:510: Mathematik
License:InC 1.0
Language:German
Format:PDF document
ISBN:3-540-07619-0
URN:urn:nbn:de:hbz:6-69329426436
Permalink:http://nbn-resolving.de/urn:nbn:de:hbz:6-69329426436
Digital documents:1976_lippe_entsc.pdf

No summary available.