RUS
ENG
Full version
PEOPLE
Dimitrov Plamen
Publications in Math-Net.Ru
Dynamic contact algebras and quantifier-free logics for space and time
Sib. Èlektron. Mat. Izv.
,
15
(2018),
1103–1144
©
Steklov Math. Inst. of RAS
, 2026
