| Форма представления | Статьи в зарубежных журналах и сборниках |
| Год публикации | 2016 |
| Язык | английский |
|
Корнеева Наталья Николаевна, автор
|
| Библиографическое описание на языке оригинала |
Korneeva N.N., Automata transformations of prefix decidable and decidable by Buchi superwords//Russian Mathematics. - 2016. - Vol.60, Is.7. - P.47-55. |
| Ключевые слова |
superword, prefix decidability, decidability by Buchi, monadic theory, automata transformation, degrees, atom, |
| Название журнала |
RUSSIAN MATHEMATICS
|
| URL |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84975862651&partnerID=40&md5=afd66865f17d605cc02787a1ceeaf2e7 |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=155889 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| 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 |
Korneeva N.N., Automata transformations of prefix decidable and decidable by Buchi superwords//Russian Mathematics. - 2016. - Vol.60, Is.7. - P.47-55. |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=155889 |
ru_RU |
| dc.description.abstract |
RUSSIAN MATHEMATICS |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
superword |
ru_RU |
| dc.subject |
prefix decidability |
ru_RU |
| dc.subject |
decidability by Buchi |
ru_RU |
| dc.subject |
monadic theory |
ru_RU |
| dc.subject |
automata transformation |
ru_RU |
| dc.subject |
degrees |
ru_RU |
| dc.subject |
atom |
ru_RU |
| dc.subject |
|
ru_RU |
| dc.title |
Automata transformations of prefix decidable and decidable by Buchi superwords |
ru_RU |
| dc.type |
Статьи в зарубежных журналах и сборниках |
ru_RU |
|
EN 
中文 
ES 
Карта сайта
