Dimitrov Plamen

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

1. Dynamic contact algebras and quantifier-free logics for space and time
   
   Сиб. электрон. матем. изв., 15 (2018),  1103–1144