| Form of presentation | Conference proceedings in international journals and collections |
| Year of publication | 2017 |
| Язык | английский |
|
Korneeva Natalya Nikolaevna, author
|
| Bibliographic description in the original language |
Korneeva N. On prefix realizability problems of infinite words for natural subsets of context-free languages / N. Korneeva //
Logic Colloquium 2017, Stockholm, August 14-20, 2017, Programme and abstracts. - Stockholm, 2017. - p. 143. |
| Annotation |
Programme and abstracts, ASL European Summer Meeting, Logic Colloquium 2017, Stockholm University, 14 - 20 August |
| Keywords |
automata transformations, superword, prefix decidability |
| The name of the journal |
Programme and abstracts, ASL European Summer Meeting, Logic Colloquium 2017, Stockholm University, 14 - 20 August
|
| URL |
https://www.math-stockholm.se/polopoly_fs/1.745278!/LC2017book.pdf |
| Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=163414&p_lang=2 |
| Resource files | |
|
|
Full metadata record  |
| Field DC |
Value |
Language |
| dc.contributor.author |
Korneeva Natalya Nikolaevna |
ru_RU |
| dc.date.accessioned |
2017-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2017-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2017 |
ru_RU |
| dc.identifier.citation |
Korneeva N. On prefix realizability problems of infinite words for natural subsets of context-free languages / N. Korneeva //
Logic Colloquium 2017, Stockholm, August 14-20, 2017, Programme and abstracts. - Stockholm, 2017. - p. 143. |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=163414&p_lang=2 |
ru_RU |
| dc.description.abstract |
Programme and abstracts, ASL European Summer Meeting, Logic Colloquium 2017, Stockholm University, 14 - 20 August |
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
automata transformations |
ru_RU |
| dc.subject |
superword |
ru_RU |
| dc.subject |
prefix decidability |
ru_RU |
| dc.title |
On prefix realizability problems of infinite words for natural subsets of context-free languages |
ru_RU |
| dc.type |
Conference proceedings in international journals and collections |
ru_RU |
|