|
|
Publications in Math-Net.Ru |
Citations |
|
2005 |
1. |
S. V. Popov, “About difficulties of the calculations of the arithmetical proGrams”, Keldysh Institute preprints, 2005, 136, 32 pp. |
2. |
N. L. Broshkova, S. V. Popov, “Properties of logic entropy”, Keldysh Institute preprints, 2005, 135, 36 pp. |
3. |
S. V. Popov, “Logic entropy”, Keldysh Institute preprints, 2005, 084, 27 pp. |
4. |
N. L. Broshkova, S. V. Popov, “About local information systems”, Keldysh Institute preprints, 2005, 078, 23 pp. |
5. |
N. L. Broshkova, S. V. Popov, “About designing information systems”, Keldysh Institute preprints, 2005, 075, 28 pp. |
6. |
S. V. Popov, “About eliminating of induction axiom”, Keldysh Institute preprints, 2005, 009, 28 pp. |
7. |
S. V. Popov, “On the way of metapsychology”, Keldysh Institute preprints, 2005, 005, 14 pp. |
|
1981 |
8. |
S. V. Popov, “An undecidable intermediate calculus”, Algebra Logika, 20:6 (1981), 654–706 |
|
1976 |
9. |
S. V. Popov, “On the complexity of derivations in classical propositional calculus”, Dokl. Akad. Nauk SSSR, 228:5 (1976), 1041–1044 |
|
|
|
1999 |
10. |
S. V. Popov, “The ‘`Tuimaada" International Math Olympiad’s Problems”, Math. Ed., 1999, no. 2-3(9-10), 102–121 |
|
|
|