Edit Profile (opens in new tab) Sharonov, V. I. Co-Author Distance Author ID: sharonov.v-i Published as: Sharonov, V. I. External Links: MGP Documents Indexed: 14 Publications since 1968 Co-Authors: 1 Co-Author with 9 Joint Publications 3 Co-Co-Authors Co-Authors 5 single-authored 9 Zamov, Nail Kalimatovitch Serials 5 Journal of Soviet Mathematics 4 Kazanskiĭ Gosudarstvennyĭ Universitet. Uchenye Zapiski 1 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova Fields 9 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ Application of the strategy of ordering disjunctives for a modification of the method of resolutions. Zbl 0664.03011 Sharonov, V. I. 2 1988 A class of strategies for the determination of provability by the resolution method. Zbl 0231.68036 Zamov, N. K.; Sharonov, V. I. 2 1971 A strategy for ordering disjunctives in the resolution method. Zbl 0643.68147 Sharonov, V. I. 1 1988 Application of the strategy of ordering disjunctives for a modification of the method of resolutions. Zbl 0664.03011 Sharonov, V. I. 2 1988 A strategy for ordering disjunctives in the resolution method. Zbl 0643.68147 Sharonov, V. I. 1 1988 A class of strategies for the determination of provability by the resolution method. Zbl 0231.68036 Zamov, N. K.; Sharonov, V. I. 2 1971 all top 5 Cited by 7 Authors 1 Buss, Samuel R. 1 Johannsen, Jan 1 Khlestkov, Yu. A. 1 Ovgun, Ali 1 Sakalli, Izzet 1 Sharonov, V. I. 1 Sukhanova, L. A. Cited in 5 Serials 1 Theoretical and Mathematical Physics 1 Journal of Soviet Mathematics 1 Theory and Practice of Logic Programming 1 Foundations of Physics 1 Journal of Satisfiability, Boolean Modeling and Computation Cited in 4 Fields 2 Computer science (68-XX) 2 Relativity and gravitational theory (83-XX) 1 Mathematical logic and foundations (03-XX) 1 Differential geometry (53-XX) Citations by Year