RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Григорьефф С
Публикации в базе данных Math-Net.Ru
The decision problem for some logics for finite words on infinite alphabets
Зап. научн. сем. ПОМИ
,
358
(2008),
100–119
©
МИАН
, 2024
