RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Хойслер Е Г
Публикации в базе данных Math-Net.Ru
Proof compressions with circuit-structured substitutions
Зап. научн. сем. ПОМИ
,
358
(2008),
77–99
©
МИАН
, 2024
