KFU. Card publication. Affine Automata Verifiers

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

AFFINE AUTOMATA VERIFIERS

Form of presentation

Articles in international journals and collections

Year of publication

2021

Язык

английский

Authors, employees of KFU

Khadieva Aliya Ikhsanovna, author

Bibliographic description in the original language

Khadieva A, Yakaryilmaz A., Affine Automata Verifiers//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2021. - Vol.12984 LNCS, Is.. - P.84-100.

Keywords

affine automata

The name of the journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85118125675&doi=10.1007%2f978-3-030-87993-8_6&partnerID=40&md5=5af29611c9de0460cf1b753b49e6ac2e

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

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

Full metadata record

Field DC	Value	Language
dc.contributor.author	Khadieva Aliya Ikhsanovna	ru_RU
dc.date.accessioned	2021-01-01T00:00:00Z	ru_RU
dc.date.available	2021-01-01T00:00:00Z	ru_RU
dc.date.issued	2021	ru_RU
dc.identifier.citation	Khadieva A, Yakaryilmaz A., Affine Automata Verifiers//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2021. - Vol.12984 LNCS, Is.. - P.84-100.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=260984&p_lang=2	ru_RU
dc.description.abstract	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	ru_RU
dc.language.iso	ru	ru_RU
dc.subject		ru_RU
dc.title	Affine Automata Verifiers	ru_RU
dc.type	Articles in international journals and collections	ru_RU