Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen
| Author: | |
|---|---|
| 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: | https://nbn-resolving.de/urn:nbn:de:hbz:6-69329426436 |
| Digital documents: | 1976_lippe_entsc.pdf |