共 50 条
- [31] Learning acyclic first-order horn sentences from entailment ALGORITHMIC LEARNING THEORY, 1997, 1316 : 432 - 445
- [34] Verifying Graph Programs with First-Order Logic ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 181 - 200
- [36] Faster decision of first-order graph properties 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,