| Язык оригинала | Английский |
|---|---|
| Название основной публикации | Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings |
| Издатель | Springer Verlag |
| Страницы | 262-273 |
| Число страниц | 12 |
| Том | 10316 LNCS |
| ISBN (печатное издание) | 9783319602516 |
| DOI | |
| Состояние | Опубликовано - 2017 |
| Событие | 19th International Conference of Descriptional Complexity of Formal Systems, DCFS 2017 - Milano, Италия Продолжительность: 3 июл 2017 → 5 июл 2017 |
Серия публикаций
| Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Том | 10316 LNCS |
| ISSN (печатное издание) | 03029743 |
| ISSN (электронное издание) | 16113349 |
Конференция
| Конференция | 19th International Conference of Descriptional Complexity of Formal Systems, DCFS 2017 |
|---|---|
| Страна | Италия |
| Город | Milano |
| Период | 03/07/2017 → 05/07/2017 |
Отпечаток
Ключевые слова
Предметные области ASJC Scopus
- Theoretical Computer Science
- Computer Science(all)
Предметные области WoS
- Компьютерные науки, Разработка программного обеспечения
- Компьютерные науки, Теория и методы
- Логика
Цитировать
}
Reset complexity of ideal languages over a binary alphabet. / Maslennikova, Marina.
Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings. Том 10316 LNCS Springer Verlag, 2017. стр. 262-273 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 10316 LNCS).Результат исследований: Глава в книге, отчете, сборнике статей › Материалы конференции › Научно-исследовательская › рецензирование
TY - GEN
T1 - Reset complexity of ideal languages over a binary alphabet
AU - Maslennikova, Marina
PY - 2017
Y1 - 2017
KW - Ideal language
KW - PSPACE-completeness
KW - Reset complexity
KW - Reset word
KW - Synchronizing automaton
UR - http://www.scopus.com/inward/record.url?scp=85022324516&partnerID=8YFLogxK
UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000440468100021
U2 - 10.1007/978-3-319-60252-3_21
DO - 10.1007/978-3-319-60252-3_21
M3 - Conference contribution
SN - 9783319602516
VL - 10316 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 262
EP - 273
BT - Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings
PB - Springer Verlag
ER -