共 50 条
- [33] A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl) PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 159 - 166
- [35] Type and Cotype Constants and the Linear Stability of Wigner's Symmetry Theorem SYMMETRY-BASEL, 2019, 11 (09):
- [37] Order Reduction of Interval Systems Using Kharitonov's Theorem and Stability Equation Method 2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 6224 - 6229