Библиография Лаврова И.А.


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

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