共 50 条
- [21] A first-order algorithm for the A-optimal experimental design problem: a mathematical programming approach Statistics and Computing, 2015, 25 : 1113 - 1127
- [23] A tetrachotomy for positive first-order logic without equality 26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 311 - 320
- [25] The complexity of positive first-order logic without equality 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 429 - +
- [30] FIRST-ORDER APPROACH TO CORRESPONDENCE AND CONGRUENCE SYSTEMS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (03): : 215 - 222