共 50 条
- [33] FIRST-ORDER AND SECOND-ORDER BACKSCATTERING FROM CLOUDS ILLUMINATED BY FINITE BEAMS APPLIED OPTICS, 1972, 11 (06): : 1345 - &
- [34] The complexity of first-order and monadic second-order logic revisited 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 215 - 224
- [36] Where First-Order and Monadic Second-Order Logic Coincide 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 265 - 274