共 50 条
- [3] A Formal Semantics of the GraalVM Intermediate Representation AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021, 2021, 12971 : 111 - 126
- [4] Formal representation of semantics for composable simulation models and checking rules for semantic composability Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 2008, 30 (01): : 89 - 93
- [5] Formal representation and semantics of modern Chinese interrogative sentences COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, PROCEEDINGS, 2003, 2588 : 65 - 74
- [6] Formal Semantics of BPMN Process Models using YAWL 2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL II, PROCEEDINGS, 2008, : 70 - +
- [7] Formal Semantics of Chinese Discourse Based on Compositional Discourse Representation Theory EMERGING RESEARCH IN ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, 2011, 237 : 470 - +
- [10] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +