KFU. Card publication. Asynchronous automata transformations of preﬁx decidable and Buchi decidable inﬁnite words

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

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

Form of presentation

Conference proceedings in international journals and collections

Year of publication

2015

��

��

Authors, employees of KFU

Korneeva Natalya Nikolaevna, author

Bibliographic description in the original language

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

Annotation

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

Keywords

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

The name of the journal

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

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Korneeva Natalya Nikolaevna	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/eng/?p_id=112282&p_lang=2	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	Conference proceedings in international journals and collections	ru_RU