KFU. Card publication. Boolean Algebras of Regular omega-Languages

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

BOOLEAN ALGEBRAS OF REGULAR OMEGA-LANGUAGES

Form of presentation

Articles in international journals and collections

Year of publication

2013

Язык

русский

Authors, employees of KFU

Selivanov Viktor Lvovich, author

Other authors

Konovalov Anton , author

Bibliographic description in the original language

Konovalov A. Boolean Algebras of Regular omega-Languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science. (Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca (Eds.)). - 2013. - V. 7810. - P. 504-515.

Annotation

We characterise up to isomorphism Boolean algebras of all regular omega-languages and of all regular aperiodic omega-languages

Keywords

Regular omega-language, aperiodic language, Boolean algebra, Frechet ideal, decidability

The name of the journal

Lecture Notes in Computer Science

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=181627&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Selivanov Viktor Lvovich	ru_RU
dc.contributor.author	Konovalov Anton	ru_RU
dc.date.accessioned	2013-01-01T00:00:00Z	ru_RU
dc.date.available	2013-01-01T00:00:00Z	ru_RU
dc.date.issued	2013	ru_RU
dc.identifier.citation	Konovalov A. Boolean Algebras of Regular omega-Languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science. (Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca (Eds.)). - 2013. - V. 7810. - P. 504-515.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=181627&p_lang=2	ru_RU
dc.description.abstract	Lecture Notes in Computer Science	ru_RU
dc.description.abstract	We characterise up to isomorphism Boolean algebras of all regular omega-languages and of all regular aperiodic omega-languages	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Regular omega-language	ru_RU
dc.subject	aperiodic language	ru_RU
dc.subject	Boolean algebra	ru_RU
dc.subject	Frechet ideal	ru_RU
dc.subject	decidability	ru_RU
dc.title	Boolean Algebras of Regular omega-Languages	ru_RU
dc.type	Articles in international journals and collections	ru_RU