Korobkov V K

Publications in Math-Net.Ru

1. An estimate of the number of monotone functions of an algebra of logic and the complexity of the algorithm of finding the resolvent set for an aribitrary function of the algebra
   
   Dokl. Akad. Nauk SSSR, 150:4 (1963),  744–747
2. Certain algorithms of the calculus of monotone functions in an algebra of logic
   
   Dokl. Akad. Nauk SSSR, 147:5 (1962),  1022–1025