RUS
ENG
Full version
PEOPLE
Sabelfeld Viktor Karlovich
Publications in Math-Net.Ru
Polynomial estimation of the complexity of recognizing logical term equivalence
Dokl. Akad. Nauk SSSR
,
249
:4 (1979),
793–796
©
Steklov Math. Inst. of RAS
, 2024
