共 50 条
- [35] Denotational Semantics and Quantum Topology ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172):
- [36] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
- [39] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329