共 50 条
- [26] First-order transition in XY model with higher-order interactions 6TH INTERNATIONAL CONFERENCE ON MATHEMATICAL MODELLING IN PHYSICAL SCIENCES (IC-MSQUARE 2017), 2017, 936
- [28] Distinguishing and relating higher-order and first-order processes by expressiveness Acta Informatica, 2012, 49 : 445 - 484
- [29] Can a higher-order and a first-order theorem prover cooperate? LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 415 - 431
- [30] Single variable new first-order shear deformation theory for isotropic plates LATIN AMERICAN JOURNAL OF SOLIDS AND STRUCTURES, 2018, 15 (10): : 1 - 25