11808 search results - page 110 / 2362 » Isometries and Computability Structures |
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
131
click to vote
APAL
2006
15 years 6 months ago
2006
We investigate effective categoricity of computable equivalence structures A. We show that A is computably categorical if and only if A has only finitely many finite equivalence c...
137
click to vote
JOLLI
2011
15 years 1 months ago
2011
Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures. Keywords Partial applicative struc...