Показать сокращенную информацию

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


Файлы в этом документе

Данный элемент включен в следующие коллекции

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика