Страницы, ссылающиеся на «Терм»
Материал из WEGA
← Терм
Следующие страницы ссылаются на Терм:
Показан 21 элемент.
- Алгоритм Уэ (← ссылки)
- Внешний терм (← ссылки)
- Древовидная грамматика (← ссылки)
- Древовидный язык (← ссылки)
- Задача унификации (← ссылки)
- Конвергентные термы (← ссылки)
- Корневой терм (← ссылки)
- Алгоритм Патерсона-Вегмана (← ссылки)
- Критическая пара (← ссылки)
- Линейный терм (← ссылки)
- Неинтерпретированные схемы (← ссылки)
- Нередуцируемый терм (← ссылки)
- Нормальная форма терма (← ссылки)
- Подтерм (← ссылки)
- Правило переписывания (← ссылки)
- Редуцируемый терм (← ссылки)
- Система переписывания термов (← ссылки)
- Тупиковый терм (← ссылки)
- Функциональная вершина (← ссылки)
- Эквивалентные термы (← ссылки)
- Замкнутый терм (← ссылки)