共 50 条
- [5] The limit view of infinite computations [J]. CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 351 - 366
- [6] Infinite Computations with Random Oracles [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2017, 58 (02) : 249 - 270
- [7] Infinite computations and a hierarchy in Δ3 [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 660 - +
- [9] Decision Times of Infinite Computations [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2022, 63 (02) : 197 - 212
- [10] Numerical computations of infinite products [J]. APPLIED MATHEMATICS AND COMPUTATION, 2005, 161 (01) : 271 - 283