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