Narrow Search
ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory
ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory
2
Computable Analysis
2
Computable linear ordering
2
Computable real function
2
Generic real number
2
Left-c.e. real number
2
Simple left-c.e. real number
2
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
2
see all ...