共 50 条
- [21] Canonical sequent proofs via multi-focusing FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2008, 2008, 273 : 383 - +
- [24] Polarization-Independent Tunable Reflector 2014 16TH INTERNATIONAL SYMPOSIUM ON ANTENNA TECHNOLOGY AND APPLIED ELECTROMAGNETICS (ANTEM), 2014,
- [30] Parallel multi-focusing using plane wave decomposition 2003 IEEE ULTRASONICS SYMPOSIUM PROCEEDINGS, VOLS 1 AND 2, 2003, : 1565 - 1568