共 50 条
- [44] Assertional Reasoning about Data Races in Relaxed Memory Models PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2008, : 267 - 268
- [45] Appropriate reasoning about data dependencies in fixed and undetermined universes FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2008, 4932 : 58 - +
- [48] Reasoning about integrity constraints for tree-structured data Theory of Computing Systems, 2018, 62 : 941 - 976
- [49] Representation and reasoning about changing semantics in heterogeneous data sources SEMANTIC WEB AND DATABASES, 2005, 3372 : 127 - 139