共 50 条
- [23] Second Order Arithmetic and Autonomous Computability Siberian Mathematical Journal, 2003, 44 : 244 - 249
- [24] Second Order Arithmetic and Pulsating Hierarchies Siberian Mathematical Journal, 2001, 43 : 22 - 27
- [26] Subsystems of second-order arithmetic BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2001, 52 (01): : 191 - 195
- [27] Run-time switching between total order algorithms EURO-PAR 2006 PARALLEL PROCESSING, 2006, 4128 : 582 - 591
- [29] Second Order DPA against Fixed Masking PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2016, : 413 - 417
- [30] A few more dissimilarities between second-order arithmetic and set theory Archive for Mathematical Logic, 2023, 62 : 147 - 206