Kazan Federal University Digital Repository
Computability on Quasi-Polish Spaces
- Home
- →
- Научные публикации в Scopus
- →
- Публикации сотрудников КФУ Scopus
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Hoyrup M. | |
| dc.contributor.author | Rojas C. | |
| dc.contributor.author | Selivanov V. | |
| dc.contributor.author | Stull D. | |
| dc.date.accessioned | 2020-01-15T21:18:07Z | |
| dc.date.available | 2020-01-15T21:18:07Z | |
| dc.date.issued | 2019 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | https://dspace.kpfu.ru/xmlui/handle/net/155607 | |
| dc.description.abstract | © 2019, IFIP International Federation for Information Processing. We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger. | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
| dc.title | Computability on Quasi-Polish Spaces | |
| dc.type | Conference Paper | |
| dc.relation.ispartofseries-volume | 11612 LNCS | |
| dc.collection | Публикации сотрудников КФУ | |
| dc.relation.startpage | 171 | |
| dc.source.id | SCOPUS03029743-2019-11612-SID85069438331 |
Files in this item
This item appears in the following Collection(s)
-
Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.