11808 search results - page 110 / 2362 » Isometries and Computability Structures |
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
COLING
2002
13 years 10 months ago
2002
MVA
2000
13 years 10 months ago
2000
APAL
2006
13 years 10 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...
JOLLI
2011
13 years 5 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...