Selivanov V.L, Kudinov O.V.

Новости

07 Октября, 2023 Защита диссертаций

20 Сентября, 2023 Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году

08 Сентября, 2023 Напоминаем, что в Москве начались выборы Мэра

Selivanov V.L., Kudinov O.V.,

[2007]

Undecidability in the homomorphic quasiorder of finite labelled forests

J. Logic Comput., 17, № 6, 1135-1151

article

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