Affine Automata Verifiers - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

расширенный поиск

Affine Automata Verifiers

Khadieva A., Yakaryılmaz A.

Дата публикации: 2021

Дата публикации в реестре: 2022-10-06T16:03:02Z

Аннотация:

Ключевые слова:
Affine automata, Arthur-Merlin games, Interactive proof systems, NP, Subset-sum problem, Unary languages

Тип: Conference Proceeding

Источник: SCOPUS03029743-2021-12984-SID85118125675

Связанные документы (рекомендация CORE)