Д. Н. Бабин, “Эффективная проверяемость полноты систем автоматных функций с полной булевой частью”, Дискрет. матем., 2003, том 15, выпуск 1,страницы 110

Эта публикация цитируется в 1 статье

Эффективная проверяемость полноты систем автоматных функций с полной булевой частью

Д. Н. Бабин

Аннотация: Рассматриваются автоматные базисы с полной булевой частью. Построен алгоритм для проверки полноты таких базисов и получены верхние оценки его сложности.

УДК: 519.7

Статья поступила: 11.10.2002

DOI: 10.4213/dm188

Англоязычная версия: Discrete Mathematics and Applications, 2003, 13:1, 63–84

Реферативные базы данных: