共 50 条
- [34] Monadic logical definability of NP-complete problems COMPUTER SCIENCE LOGIC, 1995, 933 : 190 - 204
- [39] Circuit Lower Bounds via Ehrenfeucht-Fraisse Games CCC 2006: TWENTY-FIRST ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2006, : 190 - +