RUS
ENG
Full version
PEOPLE
Harrison-Trainor Matthew
Publications in Math-Net.Ru
Constructing decidable graphs from decidable structures
Algebra Logika
,
58
:5 (2019),
553–573
©
Steklov Math. Inst. of RAS
, 2026
