Ü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
LEADER 01376caa a2200289uu 4500
001 d0d28411-6a55-45d9-b3db-6e319fbba5f5
003 miami
005 20160125
007 c||||||||||||a|
008 120925e20120925||||||||||#s||||||||ger||||||
020 |a 3-540-07619-0 
041 |a ger 
082 0 |a 510 Mathematik  |2 23 
100 1 |a Lippe, Wolfram-Manfred  |u FB 10: Mathematik und Informatik  |0 http://d-nb.info/gnd/1045682977  |0 http://viaf.org/viaf/76864916  |0 http://d-nb.info/gnd/108628094  |4 aut 
110 2 |a Universitäts- und Landesbibliothek Münster  |0 http://d-nb.info/gnd/5091030-9  |4 own 
245 1 0 |a Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen 
250 |a [Electronic ed.] 
264 1 |c 1976 
264 2 |b Universitäts- und Landesbibliothek Münster  |c 2012-09-25 
300 |a 124-134 
506 0 |a free access 
510 0 |a Schneider, Hansjürgen (Hrsg.): Programmiersprachen. Berlin : Springer, 1976, S. 124-134 
540 |a InC 1.0  |u https://rightsstatements.org/vocab/InC/1.0/ 
655 7 |2 DRIVER Types  |a Teil eines Buches 
655 7 |2 DCMI Types  |a Text 
856 4 0 |3 landing page  |q text/html  |u http://nbn-resolving.de/urn:nbn:de:hbz:6-69329426436  |u urn:nbn:de:hbz:6-69329426436 
856 4 0 |3 file  |q application/pdf  |u https://repositorium.uni-muenster.de/document/miami/d0d28411-6a55-45d9-b3db-6e319fbba5f5/1976_lippe_entsc.pdf