共 50 条
- [21] Higher-Order Model Checking: An Overview 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 1 - 15
- [29] HEISENBERG-MODEL WITH HIGHER-ORDER EXCHANGE - GROUND-STATE PROPERTIES AND EXCITATIONS PHYSICAL REVIEW B, 1984, 30 (07): : 3770 - 3782
- [30] An Algebra Model for the Higher-Order Sum Rules Constructive Approximation, 2018, 48 : 453 - 471