共 50 条
- [1] ON THE SEMANTICS OF LOGIC PROGRAMMING-LANGUAGES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 327 - 334
- [2] COMPOSITION SEMANTICS OF PROGRAMMING-LANGUAGES [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1982, 8 (06) : 306 - 314
- [4] DENOTATIONAL SEMANTICS OF PARALLEL PROGRAMMING-LANGUAGES [J]. KYBERNETIKA, 1983, 19 (03) : 248 - 262
- [5] DESCRIPTION OF SEMANTICS OF ROBOT PROGRAMMING-LANGUAGES [J]. MECHATRONICS, 1992, 2 (02) : 171 - 198