323926
Оценки высоты термов в наиболее общем унификаторе : диссертация ... кандидата физико-математических наук : 01.01.06
1998, Санкт-Петербург
Математика. Диссертация Оценки высоты термов в наиболее общем унификаторе : диссертация ... кандидата физико-математических наук : 01.01.06, Санкт-Петербург, 1998