共 50 条
[42]
Axiomatizations of arithmetic and the first-order/second-order divide
[J].
Synthese,
2019, 196
:2583-2597
[48]
The complexity of first-order and monadic second-order logic revisited
[J].
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
2002,
:215-224
[49]
Where First-Order and Monadic Second-Order Logic Coincide
[J].
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS),
2012,
:265-274
[50]
No local cancellation between first-order and second-order motion
[J].
PERCEPTION,
1998, 27
:184-184