共 50 条
- [2] Conditional Permissions in Contracts LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2015, 279 : 61 - 70
- [7] CONDITIONAL REASONING JOURNAL OF VERBAL LEARNING AND VERBAL BEHAVIOR, 1979, 18 (02): : 199 - 223
- [9] Reasoning over Permissions Regions in Concurrent Separation Logic COMPUTER AIDED VERIFICATION, PT II, 2020, 12225 : 203 - 224