共 50 条
- [32] The proof-theoretic strength of the Dushnik-Miller Theorem for countable linear orders RECURSION THEORY AND COMPLEXITY, 1999, 2 : 55 - 57
- [40] A dual scheme for solving linear countable semi-infinite fractional programming problems Optimization Letters, 2022, 16 : 575 - 588