共 50 条
- [1] Semantics of object persistence [J]. Huanan Ligong Daxue Xuebao/Journal of South China University of Technology, 1995, 23 (10):
- [5] Semantics and logic of object calculi [J]. THEORETICAL COMPUTER SCIENCE, 2004, 316 (1-3) : 191 - 213
- [7] Semantics and logic of object calculi [J]. 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 113 - 122
- [8] Semantics of Mizar as an Isabelle Object Logic [J]. JOURNAL OF AUTOMATED REASONING, 2019, 63 (03) : 557 - 595
- [9] Object Semantics for XML Keyword Search [J]. DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, DASFAA 2014, PT II, 2014, 8422 : 311 - 327