Knyazev V V

Publications in Math-Net.Ru

1. Situational planning of protected measurement data processing in automatic control systems of testing complex dynamic objects
   
   Avtomat. i Telemekh., 1998, no. 9,  166–181
2. A zero-one law for many-sorted first-order predicate logic
   
   Diskr. Mat., 2:3 (1990),  97–101
3. On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max
   
   Diskr. Mat., 1:3 (1989),  104–110