共 50 条
- [21] Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (344): : 36 - 64
- [22] Equivalence of coercivity and mean coercivity in higher-order variational integrals with application to minimization JOURNAL OF INEQUALITIES AND APPLICATIONS, 2025, 2025 (01):
- [27] On Higher-Order Truncated Predictor Feedback for Linear Systems with Input Delay PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 836 - 841