共 50 条
- [21] Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 2048 - 2078
- [27] Sharpening of non-recursive comb decimation structure 2013 13TH INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES (ISCIT): COMMUNICATION AND INFORMATION TECHNOLOGY FOR NEW LIFE STYLE BEYOND THE CLOUD, 2013, : 458 - 463
- [28] Non-recursive formula for trace of heat kernel PROCEEDINGS OF THE INTERNATIONAL CONFERENCE DAYS ON DIFFRACTION (DD) 2019, 2019, : 74 - 77