共 50 条
- [21] Axiomatizations of arithmetic and the first-order/second-order divide Synthese, 2019, 196 : 2583 - 2597
- [23] The complexity of first-order and monadic second-order logic revisited 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 215 - 224
- [25] Where First-Order and Monadic Second-Order Logic Coincide 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 265 - 274