RUS
ENG
Full version
PEOPLE
Haeusler E H
Publications in Math-Net.Ru
Proof compressions with circuit-structured substitutions
Zap. Nauchn. Sem. POMI
,
358
(2008),
77–99
©
Steklov Math. Inst. of RAS
, 2024
