Format:
259 S. : graph. Darst.
ISBN:
0-8176-3570-X
,
3-7643-3570-X
Series Statement:
Progress in theoretical computer science
Note:
Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Programmiersprache
;
Funktionale Semantik
;
Mathematische Logik
;
Programmiersprache
;
Semantik
;
Programmiersprache
;
Funktionale Semantik
;
Semantischer Bereich
;
Attributwertebereich
;
Logik
;
Hochschulschrift
Bookmarklink