Topological aspects of numberings

DOI10.1002/MALQ.200310013zbMath1037.03038OpenAlexW2048053997MaRDI QIDQ4804173

Wolfram Menzel, Frank Stephan

Publication date: 10 April 2003

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://publikationen.bibliothek.kit.edu/54199/759858

zbMATH Keywords

metricinductive inferencenumberingdistance of functions

Mathematics Subject Classification ID

Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Metric spaces, metrizability (54E35) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Topological aspects of numberings