izvor podataka: crosbi
✓
Co-c.e. spheres and cells in computable metric spaces (CROSBI ID 176991)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Iljazović, Zvonko
Co-c.e. spheres and cells in computable metric spaces // Logical Methods in Computer Science, 7 (2011), 3; 1-21. doi: 10.2168/LMCS-7(3:5)2011
Podaci o odgovornosti
Iljazović, Zvonko
engleski
Co-c.e. spheres and cells in computable metric spaces
We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable each co-computably enumerable sphere is computable and each co-c.e. cell with co-c.e. boundary sphere is computable.
computable metric space ; computable set ; co-c.e. set ; n-chain ; spherical n-chain
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Matematika, Računarstvo
Poveznice
Indeksiranost