| Signatur | NL 214/138 |
|---|---|
| Gegenstand | Manuskript (1) |
| Verfasser |
Laut, Alfred
|
| Titel | Spezifikation der Anwendung einer Transformationsregel |
| Enthält | Aussagen über Teilsätze, Selektion einer totalen Funktion, Bildung einer reflexiven transitiven Hülle |
| Laufzeit | 30.11.1978 |
| Umfang | 3 Bl. hs. (Kopie) |
| Fachgebiet | Programmsteuerung und Universalrechner <422> |
| Rechtehinweis | CC BY-SA 4.0 |
