共 50 条
- [41] Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs GRAPH TRANSFORMATION, ICGT 2019, 2019, 11629 : 38 - 54
- [43] A NOTE ON CATEGORICAL PROPERTIES AND CONTINGENT IDENTITY JOURNAL OF PHILOSOPHY, 1988, 85 (12): : 718 - 722
- [44] Partial Instantiation Methods for Inference in First-Order Logic Journal of Automated Reasoning, 2002, 28 : 371 - 396
- [45] Partial instantiation methods for inference in first-order logic Hooker, J.N., 1600, Kluwer Academic Publishers (28):
- [46] Incremental algorithms for optimizing model computation based on partial instantiation JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (03): : 179 - 204
- [49] TEMPORARY REGULATIONS ON INSTALLMENT SALES FOCUS ON CONTINGENT PAYMENT SALES JOURNAL OF TAXATION, 1981, 54 (04): : 240 - 241