КФУ. Карточка публикации. О разрешимости монадических теорий бесконечных последовательностей

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

RUS

- EN
- 中文
- ES

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

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

Тезисы и материалы конференций в российских журналах и сборниках

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

2011

Язык

русский

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

Корнеева Наталья Николаевна, автор

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

Корнеева Н.Н. О разрешимости монадических теории бесконечных последовательностей.//Алгебра и математическая логика: материалы международной конференции, посвященной 100-летию со дня рождения профессора В.В. Морозова, и молодежной школы-конференции «Современные проблемы алгебры и математической логики«; Казань, 25-30 сентября 2011 г. - Казань, КФУ, 2011. - Т. 40. - C. 111-112.

Аннотация

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

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

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

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

URL

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

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Корнеева Наталья Николаевна	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/?p_id=86558	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	Тезисы и материалы конференций в российских журналах и сборниках	ru_RU