scientific article
From MaRDI portal
Publication:3894947
zbMath0448.68006MaRDI QIDQ3894947
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45)
Related Items
The complexity of universal text-learners, An approach to intrinsic complexity of uniform learning, Research in the theory of inductive inference by GDR mathematicians - A survey, Separation of uniform learning classes., Learning recursive functions: A survey, On uniform learnability of language families, Robust learning with infinite additional information, Synthesizing learners tolerating computable noisy data, Increasing the power of uniform inductive learners, On the power of probabilistic strategies in inductive inference, Trade-off among parameters affecting inductive inference, The complexity of universal text-learners.
