共 50 条
- [1] Inductive inference and computable numberings [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (18) : 1652 - 1668
- [3] INDUCTIVE INFERENCE AND COMPUTABLE ONE-ONE NUMBERINGS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (05): : 463 - 479
- [5] Probabilistic inductive inference: a survey [J]. THEORETICAL COMPUTER SCIENCE, 2001, 264 (01) : 155 - 167
- [7] Approaching probabilistic and deterministic nomic truths in an inductive probabilistic way [J]. Synthese, 2021, 199 : 8001 - 8028
- [9] On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings [J]. BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 124 - 136