共 50 条
- [3] Categoricity and Consistency in Second-Order Logic INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2015, 58 (01): : 20 - 27
- [7] Matching modulo superdevelopments application to second-order matching Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2006, 4246 : 60 - 74
- [9] Second-order matching via explicit substitutions LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 433 - 448