RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Лимон-Приего Йенсен
Публикации в базе данных Math-Net.Ru
Выполнимость мю-исчисления с арифметическими ограничениями
Труды ИСП РАН
,
33
:2 (2021),
191–200
©
МИАН
, 2024
