Complexity for partial computable functions over computable Polish spaces

Korovina, M; Kudinov, O

Korovina, M (reprint author), NSU, AP Ershov Inst Informat Syst, Novosibirsk, Russia.

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018; 28 (3): 429

Abstract

In the framework of effectively enumerable topological spaces, we introduce the notion of a partial computable function. We show that the class of par......

Full Text Link