01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Main publications:
O predikatnoi logike dokazuemosti / V. A. Vardanyan. - Moskva : VINITI, 1985. - 11, [1] s.; 23 sm. - (Preprint/ AN SSSR. Nauchnyi sovet po kompleksnoi probleme "Kibernetika").
V. A. Vardanyan, “On development of selftesting $1/n$-testers”, Avtomat. i Telemekh., 1989, no. 1, 175–177
1987
2.
V. A. Vardanyan, “On a way то design easily tested circuits”, Avtomat. i Telemekh., 1987, no. 7, 136–139
1986
3.
V. A. Vardanyan, “Complexity of tests of activity for partial Boolean functions”, Avtomat. i Telemekh., 1986, no. 7, 118–124; Autom. Remote Control, 47:7 (1986), 982–987
4.
V. A. Vardanyan, “Arithmetic complexity of provability predicate logics and their
fragments”, Dokl. Akad. Nauk SSSR, 288:1 (1986), 11–14
Contact us: