- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Оценки высоты термов в наиболее общем унификаторе
Тип роботи:
Кандидатская
Рік:
1998
Артикул:
1000212792 179 грн
Рекомендовані дисертації
- Представление натуральных чисел диагональной квадратичной формой специального вида
- Фробениусовы эндоморфизмы пространств матриц
- Логика доказуемости и доказуемостно-интуиционистская логика
- Триангулированные категории в коммутативной и некоммутативной геометрии
- Решетки разбиений натуральных чисел и хроматическая определяемость графов
- Определимость в наследственно конечных допустимых множествах
- Сводимости табличного типа
- Кратное отображение Абеля-Якоби для вещественных гиперэллиптических римановых поверхностей
- О циклических упорядоченных группах
- Тьюринговые скачки в иерархии Ершова