Страницы, ссылающиеся на «Терм»

Следующие страницы ссылаются на Терм:

Показан 21 элемент.

• Алгоритм Уэ ‎ (← ссылки)
• Внешний терм ‎ (← ссылки)
• Древовидная грамматика ‎ (← ссылки)
• Древовидный язык ‎ (← ссылки)
• Задача унификации ‎ (← ссылки)
• Конвергентные термы ‎ (← ссылки)
• Корневой терм ‎ (← ссылки)
• Алгоритм Патерсона-Вегмана ‎ (← ссылки)
• Критическая пара ‎ (← ссылки)
• Линейный терм ‎ (← ссылки)
• Неинтерпретированные схемы ‎ (← ссылки)
• Нередуцируемый терм ‎ (← ссылки)
• Нормальная форма терма ‎ (← ссылки)
• Подтерм ‎ (← ссылки)
• Правило переписывания ‎ (← ссылки)
• Редуцируемый терм ‎ (← ссылки)
• Система переписывания термов ‎ (← ссылки)
• Тупиковый терм ‎ (← ссылки)
• Функциональная вершина ‎ (← ссылки)
• Эквивалентные термы ‎ (← ссылки)
• Замкнутый терм ‎ (← ссылки)