|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
В. Н. Крупский, “Нормализация термов в точных моделях логики доказательств LP”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2023, № 6, 52–55   ; V. N. Krupski, “Normalization of terms in exact models of the logic of evidence LP”, Moscow University Mathematics Bulletin, 78:6 (2023), 309–312 |
|
2020 |
| 2. |
В. Н. Крупский, “О точных логиках свидетельств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 1, 71–75   ; V. N. Krupski, “Exact justification logics”, Moscow University Mathematics Bulletin, 75:1 (2020), 49–52   |
|
2011 |
| 3. |
В. Н. Крупский, “О символических моделях для функциональной логики доказательств”, Матем. сб., 202:5 (2011), 63–76 ; V. N. Krupski, “On symbolic models for Single-Conclusion Logic of Proofs”, Sb. Math., 202:5 (2011), 683–695 |
2
|
|
1990 |
| 4. |
В. Н. Крупский, “Об эффективности кодирования приближений действительных чисел”, Матем. заметки, 47:2 (1990), 46–57 ; V. N. Krupskii, “Efficient coding of approximations of real numbers”, Math. Notes, 47:2 (1990), 143–152 |
1
|
|
1984 |
| 5. |
В. Н. Крупский, “Допустимые топологические цепи Маркова с отождествлениями”, Матем. заметки, 35:2 (1984), 263–272 ; V. N. Krupskii, “Admissible topological Markov chains with identifications”, Math. Notes, 35:2 (1984), 139–144 |
1
|
|
1982 |
| 6. |
В. Н. Крупский, “О совместной аппроксимируемости действительных чисел”, Докл. АН СССР, 267:1 (1982), 45–48 |
|
Обратная связь: