Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
Semantics of programs in a formal system with partially defined functions
URN: urn:nbn:de:bsz:291-scidok-40181
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/4018/
Quelle:
(1978) Saarbrücken, 1978
pdf-Format:
Dokument 1.pdf (3.164 KB)
![]()
![]()
![]()
![]()
![]()
Institut:
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Bericht / A / Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes
Bandnummer:
1978/05
Sprache:
Englisch
Erstellungsjahr:
1978
Publikationsdatum:
27.07.2011
Kurzfassung auf Englisch:
Lizenz:
Standard-Veröffentlichungsvertrag