共 50 条
- [1] On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2019, 8 (3-4): : 377 - 387
- [3] Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics [J]. BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 38 - 49
- [4] The complexity of satisfaction problems in reverse mathematics [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2015, 4 (01): : 69 - 84
- [6] Reverse Mathematics and Computability Theory of Domain Theory [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 550 - 568
- [7] Reverse mathematics and recursive graph theory [J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (04) : 465 - 473
- [9] Topology, analysis and reverse mathematics [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2A : 37 - 40