|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1, 23–32   ; Moscow University Mathematics Bulletin, 80:1 (2025), 23–33 |
|
2023 |
| 2. |
V. N. Krupski, “Normalization of terms in exact models of the logic of evidence LP”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2023, no. 6, 52–55 ; Moscow University Mathematics Bulletin, 78:6 (2023), 309–312 |
|
2020 |
| 3. |
V. N. Krupski, “Exact justification logics”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 1, 71–75   ; Moscow University Mathematics Bulletin, 75:1 (2020), 49–52   |
|
2011 |
| 4. |
V. N. Krupski, “On symbolic models for Single-Conclusion Logic of Proofs”, Mat. Sb., 202:5 (2011), 63–76 ; Sb. Math., 202:5 (2011), 683–695 |
2
|
|
1990 |
| 5. |
V. N. Krupskii, “Efficient coding of approximations of real numbers”, Mat. Zametki, 47:2 (1990), 46–57 ; Math. Notes, 47:2 (1990), 143–152 |
1
|
|
1984 |
| 6. |
V. N. Krupskii, “Admissible topological Markov chains with identifications”, Mat. Zametki, 35:2 (1984), 263–272 ; Math. Notes, 35:2 (1984), 139–144 |
1
|
|
1982 |
| 7. |
V. N. Krupski, “Simultaneous approximability of real numbers”, Dokl. Akad. Nauk SSSR, 267:1 (1982), 45–48 |
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
|
