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

Дата публикации в реестре: 2020-03-01T00:02:54Z

Аннотация:

Тип: Conference Paper

Источник: SCOPUS03029743-2017-10304-SID85019231690

Другие версии документа

Nondeterministic unitary OBDDs