共 50 条
- [3] FIRST-ORDER PROPERTIES AND ORIENTED GRAPH [J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 129 - 129
- [4] Edge-Weighted-Based Graph Neural Network for First-Order Premise Selection [J]. Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2022, 57 (06): : 1368 - 1375
- [5] Verifying Graph Programs with First-Order Logic [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 181 - 200
- [7] Faster decision of first-order graph properties [J]. PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,