共 50 条
- [43] Poroelastic vibrations of FG Porous higher-order shear deformable Steel and Composite Structures, 2023, 49 (05): : 503 - 516
- [47] Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 152 - 164
- [49] Some first-order and higher-order statistical properties of polarization speckle COMPUTATIONAL OPTICS 2021, 2021, 11875
- [50] Model checking the first-order fragment of higher-order fixpoint logic LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 62 - +