共 50 条
- [34] Conservativity of Type Theory over Higher-Order Arithmetic 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
- [36] Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions MATHEMATICAL SOFTWARE-ICMS 2024, 2024, 14749 : 275 - 284
- [37] THE THEORY OF STATIONARY VECTOR-VALUED MEASURES OVER R JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1983, 339 : 105 - 132
- [38] Interval Valued Fuzzy Gamma Near-algebra Over Interval Valued Fuzzy Field INTERNATIONAL CONFERENCE ON MATHEMATICAL SCIENCES AND APPLICATIONS (ICMSA-2019), 2020, 2246