| Форма представления | Статьи в зарубежных журналах и сборниках |
| Год публикации | 2016 |
| Язык | английский |
|
Селиванов Виктор Львович, автор
|
|
Кудинов Олег , автор
|
| Библиографическое описание на языке оригинала |
Kudinov O.V. On the lattices of effectively open sets / O.V. Kudinov, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - 2016. - V. 9709. - DOI: 10.1007/978-3-319-40189-8 31. |
| Аннотация |
We study decidability issues for elementary theories of the lattices of open sets. For many natural effective spaces undecidability of such theories is established, and for some of them a precise complexity estimate is achieved. |
| Ключевые слова |
Effective space, effectively open set, elementary theory, undecidability. |
| Название журнала |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=181603 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Селиванов Виктор Львович |
ru_RU |
| dc.contributor.author |
Кудинов Олег |
ru_RU |
| dc.date.accessioned |
2016-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2016-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2016 |
ru_RU |
| dc.identifier.citation |
Kudinov O.V. On the lattices of effectively open sets / O.V. Kudinov, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - 2016. - V. 9709. - DOI: 10.1007/978-3-319-40189-8 31. |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=181603 |
ru_RU |
| dc.description.abstract |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
ru_RU |
| dc.description.abstract |
We study decidability issues for elementary theories of the lattices of open sets. For many natural effective spaces undecidability of such theories is established, and for some of them a precise complexity estimate is achieved. |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
Effective space |
ru_RU |
| dc.subject |
effectively open set |
ru_RU |
| dc.subject |
elementary theory |
ru_RU |
| dc.subject |
undecidability. |
ru_RU |
| dc.title |
On the lattices of effectively open sets |
ru_RU |
| dc.type |
Статьи в зарубежных журналах и сборниках |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
