Form of presentation | Articles in international journals and collections |
Year of publication | 2016 |
Язык | английский |
|
Selivanov Viktor Lvovich, author
|
|
Glasser Christian , author
Schmitz Heinz , author
|
Bibliographic description in the original language |
Glasser C. Efficient algorithms for membership in boolean hierarchies of regular languages / C. Glasser, H. Schmitz, V. Selivanov // Theoretical Computer Science. - 2016. - V. 646, Is. C. - P. 86-108. - doi: 10.1016/j.tcs.2016.07.017. |
Annotation |
Показаны, что уровни нескольких популярных разностных иерархий регулярных языков разрешимы в полиномиальное время |
Keywords |
Regular language, boolen hierarchy, alternating chain |
The name of the journal |
Theoretical Computer Science
|
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=180915&p_lang=2 |
Full metadata record |
Field DC |
Value |
Language |
dc.contributor.author |
Selivanov Viktor Lvovich |
ru_RU |
dc.contributor.author |
Glasser Christian |
ru_RU |
dc.contributor.author |
Schmitz Heinz |
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 |
Glasser C. Efficient algorithms for membership in boolean hierarchies of regular languages / C. Glasser, H. Schmitz, V. Selivanov // Theoretical Computer Science. - 2016. - V. 646, Is. C. - P. 86-108. - doi: 10.1016/j.tcs.2016.07.017. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/eng/?p_id=180915&p_lang=2 |
ru_RU |
dc.description.abstract |
Theoretical Computer Science |
ru_RU |
dc.description.abstract |
Показаны, что уровни нескольких популярных разностных иерархий регулярных языков разрешимы в полиномиальное время |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
Regular language |
ru_RU |
dc.subject |
boolen hierarchy |
ru_RU |
dc.subject |
alternating chain |
ru_RU |
dc.title |
Efficient algorithms for membership in boolean hierarchies of regular languages |
ru_RU |
dc.type |
Articles in international journals and collections |
ru_RU |
|