КФУ. Карточка публикации. Asynchronous automata transformations of preﬁx decidable and Buchi decidable inﬁnite words

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

RUS

- EN
- 中文
- ES

ASYNCHRONOUS AUTOMATA TRANSFORMATIONS OF PREﬁX DECIDABLE AND BUCHI DECIDABLE INﬁNITE WORDS

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

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

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

2015

Язык

английский

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

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

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

Natalia Korneeva, Asynchronous automata transformations of preﬁx decidable and Buchi decidable inﬁnite words/Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015. -2015. - P. 733

Аннотация

Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015.

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

asynchronous automata transformations, prefix decidable infinite words, Buchi decidable infinite words

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

Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015.

URL

http://www.helsinki.fi/lc2015/materials/CLMPS_LC_book%20of%20abstracts%2029.7.2015.pdf

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Корнеева Наталья Николаевна	ru_RU
dc.date.accessioned	2015-01-01T00:00:00Z	ru_RU
dc.date.available	2015-01-01T00:00:00Z	ru_RU
dc.date.issued	2015	ru_RU
dc.identifier.citation	Natalia Korneeva, Asynchronous automata transformations of preﬁx decidable and Buchi decidable inﬁnite words/Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015. -2015. - P. 733	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=112282	ru_RU
dc.description.abstract	Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	asynchronous automata transformations	ru_RU
dc.subject	prefix decidable infinite words	ru_RU
dc.subject	Buchi decidable infinite words	ru_RU
dc.title	Asynchronous automata transformations of preﬁx decidable and Buchi decidable inﬁnite words	ru_RU
dc.type	Тезисы и материалы конференций в зарубежных журналах и сборниках	ru_RU