共 50 条
- [21] Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 53 - 68
- [26] The forcing edge fixed steiner number of a graph JOURNAL OF STATISTICS & MANAGEMENT SYSTEMS, 2019, 22 (01): : 1 - 10