共 50 条
- [4] Dual-mode horn antennas suppressing higher-order modes ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2003, 86 (09): : 17 - 24
- [5] Cross-polarization reduction of a wideband tracking corrugated horn IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-4: TRANSMITTING WAVES OF PROGRESS TO THE NEXT MILLENNIUM, 2000, : 1922 - 1925
- [6] Higher-Order MSL Horn Constraints PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 2017 - 2047
- [9] Higher-Order Constrained Horn Clauses for Verification PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [10] Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (344): : 36 - 64