Крупский Владимир Николаевич

Публикации в базе данных Math-Net.Ru

1. Нормализация термов в точных моделях логики доказательств LP
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2023, № 6,  52–55
2. О точных логиках свидетельств
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 1,  71–75
3. О символических моделях для функциональной логики доказательств
   
   Матем. сб., 202:5 (2011),  63–76
4. Об эффективности кодирования приближений действительных чисел
   
   Матем. заметки, 47:2 (1990),  46–57
5. Допустимые топологические цепи Маркова с отождествлениями
   
   Матем. заметки, 35:2 (1984),  263–272
6. О совместной аппроксимируемости действительных чисел
   
   Докл. АН СССР, 267:1 (1982),  45–48