КФУ. Карточка публикации. Affine Automata Verifiers

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

RUS

- EN
- 中文
- ES

AFFINE AUTOMATA VERIFIERS

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

Статьи в зарубежных журналах и сборниках

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

2021

Язык

английский

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

Хадиева Алия Ихсановна, автор

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

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.

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

affine automata

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

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

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

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

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

Поле DC	Значение	Язык
dc.contributor.author	Хадиева Алия Ихсановна	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/?p_id=260984	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	Статьи в зарубежных журналах и сборниках	ru_RU