Варданян Валерий Арамович

Публикации в базе данных Math-Net.Ru

1. О синтезе самопроверяемых $1/n$-тестеров
   
   Автомат. и телемех., 1989, № 1,  175–177
2. Об одном методе синтеза легко тестируемых схем
   
   Автомат. и телемех., 1987, № 7,  136–139
3. О сложности тестов активности для частичных булевых функций
   
   Автомат. и телемех., 1986, № 7,  118–124
4. Арифметическая сложность предикатных логик доказуемости и их фрагментов
   
   Докл. АН СССР, 288:1 (1986),  11–14
5. О периодичности в эрмитовых теориях
   
   УМН, 33:2(200) (1978),  185–186