共 50 条
- [2] A Novel Categorical Approach to Semantics of Relational First-Order Logic SYMMETRY-BASEL, 2020, 12 (10):
- [3] First-Order Types and Redundant Relations in Relational Databases ADVANCES IN CONCEPTUAL MODELING - CHALLENGES PERSPECTIVES, 2009, 5833 : 65 - +
- [4] Interpretability of first-order dynamic logic in a relational calculus RELATIONAL METHODS IN COMPUTER SCIENCE, 2002, 2561 : 66 - 80
- [7] Verifying Relational Properties of Functional Programs by First-Order Refinement PROCEEDINGS OF THE 2015 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'15), 2015, : 61 - 72