共 50 条
- [41] Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 387 - 391
- [42] Semantics and strong sequentiality of priority term rewriting systems REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 377 - 391
- [43] Contextual ECATNets semantics in terms of conditional rewriting logic 2006 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2006, : 935 - +
- [44] Query Rewriting for DL Ontologies Under the ICAR Semantics RULES AND REASONING (RULEML+RR 2019), 2019, 11784 : 144 - 158
- [45] Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits REWRITING LOGIC AND ITS APPLICATIONS, 2010, 6381 : 140 - +
- [46] Semantics and strong sequentiality of priority term rewriting systems Theor Comput Sci, 1-2 (87-110):
- [50] Relating Two Metric Semantics for Parallel Rewriting of Multisets 14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 273 - 280