KFU. Card publication. О разрешимости монадических теорий бесконечных последовательностей

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

О РАЗРЕШИМОСТИ МОНАДИЧЕСКИХ ТЕОРИЙ БЕСКОНЕЧНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

Form of presentation

Conference proceedings in Russian journals and collections

Year of publication

2011

Язык

русский

Authors, employees of KFU

Korneeva Natalya Nikolaevna, author

Bibliographic description in the original language

Korneeva N.N. O razreshimosti monadicheskikh teorii beskonechnykh posledovatelnostey.//Algebra i matematicheskaya logika: materialy mezhdunarodnoy konferencii, posvyashhennoy 100-letiyu so dnya rozhdeniya professora V.V. Morozova, i molodezhnoy shkoly-konferencii «Sovremennye problemy algebry i matematicheskoy logiki«; Kazan, 25-30 sentyabrya 2011 g. - Kazan, KFU, 2011. - T. 40. - C. 111-112.

Annotation

Алгебра и математическая логика: материалы международной конференции, посвященной 100-летию со дня рождения профессора В.В. Морозова, и молодежной школы-конференции "Современные проблемы алгебры и математической логики"

Keywords

конечные автоматы, автоматные преобразования, асинхронно автоматные преобразования, монадическая теория

The name of the journal

URL

http://www.vvmorozov2011.ksu.ru/bin_files/book_of_abstracts!56.pdf

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Korneeva Natalya Nikolaevna	ru_RU
dc.date.accessioned	2011-01-01T00:00:00Z	ru_RU
dc.date.available	2011-01-01T00:00:00Z	ru_RU
dc.date.issued	2011	ru_RU
dc.identifier.citation	Корнеева Н.Н. О разрешимости монадических теории бесконечных последовательностей.//Алгебра и математическая логика: материалы международной конференции, посвященной 100-летию со дня рождения профессора В.В. Морозова, и молодежной школы-конференции «Современные проблемы алгебры и математической логики«; Казань, 25-30 сентября 2011 г. - Казань, КФУ, 2011. - Т. 40. - C. 111-112.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=86558&p_lang=2	ru_RU
dc.description.abstract	Алгебра и математическая логика: материалы международной конференции, посвященной 100-летию со дня рождения профессора В.В. Морозова, и молодежной школы-конференции "Современные проблемы алгебры и математической логики"	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	конечные автоматы	ru_RU
dc.subject	автоматные преобразования	ru_RU
dc.subject	асинхронно автоматные преобразования	ru_RU
dc.subject	монадическая теория	ru_RU
dc.title	О разрешимости монадических теорий бесконечных последовательностей	ru_RU
dc.type	Conference proceedings in Russian journals and collections	ru_RU