共 50 条
- [31] LINA: A Linearizing Neural Network Architecture for Accurate First-Order and Second-Order Interpretations IEEE ACCESS, 2022, 10 : 36166 - 36176
- [32] The complexity of first-order and monadic second-order logic revisited 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 215 - 224
- [34] Where First-Order and Monadic Second-Order Logic Coincide 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 265 - 274