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 |
|