КФУ. Карточка публикации. Efficient algorithms for membership in boolean hierarchies of regular languages

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

EFFICIENT ALGORITHMS FOR MEMBERSHIP IN BOOLEAN HIERARCHIES OF REGULAR LANGUAGES

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2016

Язык

английский

Авторы, сотрудники КФУ

Селиванов Виктор Львович, автор

Другие авторы

Glasser Christian , автор

Schmitz Heinz , автор

Библиографическое описание на языке оригинала

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.

Аннотация

Показаны, что уровни нескольких популярных разностных иерархий регулярных языков разрешимы в полиномиальное время

Ключевые слова

Regular language, boolen hierarchy, alternating chain

Название журнала

Theoretical Computer Science

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=180915

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Селиванов Виктор Львович	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/?p_id=180915	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	Статьи в зарубежных журналах и сборниках	ru_RU