共 50 条
- [11] Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (344): : 36 - 64
- [12] Higher-Order Constrained Horn Clauses for Verification PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [15] Inexact higher-order proximal algorithms for tensor factorization 2023 IEEE STATISTICAL SIGNAL PROCESSING WORKSHOP, SSP, 2023, : 547 - 551
- [18] Scalable Higher-Order Tensor Product Spline Models INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 238, 2024, 238