Bibliography of Lavrov I.A.


Selivanov V.L., Kudinov O.V.,
[2007]
Undecidability in the homomorphic quasiorder of finite labelled forests
J. Logic Comput., 17, № 6, 1135-1151
article

Вернуться к поиску