共 50 条
- [32] Team Logic and Second-Order Logic LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 230 - 241
- [34] Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification 32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 703 - 715
- [38] SECOND-ORDER INTENSIONAL LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04): : 297 - 320
- [40] Symbolic Execution with Existential Second-Order Constraints ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 389 - 399