Sharonov Vladislav Ivanovich

Publications in Math-Net.Ru

1. Decision tactics for derivation search in the resolution method
   
   Issled. Prikl. Mat., 4 (1977),  31–34
2. Application of isograms in the search for inference
   
   Issled. Prikl. Mat., 1 (1973),  94–102
3. Amplifications of formulae of predicate calculus
   
   Uchenye Zapiski Kazanskogo Universiteta, 130:3 (1970),  54–59
4. The strengthening of formulae that are provable in propositional calculus
   
   Uchenye Zapiski Kazanskogo Universiteta, 129:4 (1969),  21–31
5. On a class of strategies for the resolution method
   
   Zap. Nauchn. Sem. LOMI, 16 (1969),  54–64
6. A certain algorithm of search for an inference in a cellular calculus
   
   Uchenye Zapiski Kazanskogo Universiteta, 128:2 (1968),  71–75
7. A certain algorithm for finding a full amplification of sequences in propositional calculus
   
   Uchenye Zapiski Kazanskogo Universiteta, 128:2 (1968),  67–70
8. Harmonisation of eight bars of song melodies on computers M-20
   
   Uchenye Zapiski Kazanskogo Universiteta, 123:6 (1963),  103–111