RUS
ENG
Full version
PEOPLE
Kostylev Egor Vyacheslavovich
Publications in Math-Net.Ru
On complexity of the anti-unification problem
Diskr. Mat.
,
20
:1 (2008),
131–144
©
Steklov Math. Inst. of RAS
, 2024