共 50 条
- [32] Second-order eigensensitivity analysis of discrete structural systems Computers and Structures, 1992, 44 (1-2): : 399 - 404
- [35] Discrete Second-order Probability Distributions that Factor into Marginals ISIPTA '11 - PROCEEDINGS OF THE SEVENTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, 2011, : 335 - 342
- [38] A Linear Proof Language for Second-Order Intuitionistic Linear Logic LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2024, 2024, 14672 : 18 - 35