Дата рождения: 16.10.1996
Телефон: +79157063874
Ключевые слова: логика первого порядка.

Основные темы научной работы:

Частичная фиксированная точка

Основные публикации:

1. Sekorin V.S., “Partial Fixed Point for Finite Models in Second Order Logic”, Lobachevskii Journal of Mathematics, 41:9 (2020), 1672-1679

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

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

Персональные страницы:

• 
• 
• 
• 

Организации:

• Тверской государственный университет