Ü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
Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2012 0 0 0 0 0 0 0 0 1 2 0 0 3
2013 6 2 1 1 0 0 0 1 0 2 1 0 14
2014 0 2 0 1 0 2 0 1 0 0 0 0 6
2015 0 0 0 1 0 0 0 0 0 0 1 0 2
2016 0 0 0 0 1 0 0 1 0 0 0 0 2
2017 0 0 0 1 1 0 0 0 3 0 0 0 5
2018 0 0 0 0 1 0 0 0 0 0 0 0 1
2019 0 3 4 8 19 14 11 14 19 62 9 8 171
2020 7 8 10 2 0 2 6 0 35