Страницы, ссылающиеся на «Система переписывания термов»
Материал из WEGA
Следующие страницы ссылаются на Система переписывания термов:
Показано 8 элементов.
- Критическая пара (← ссылки)
- Нетеровая СПТ (← ссылки)
- Полная система переписывания термов (← ссылки)
- Полная СПТ (← ссылки)
- Правило переписывания (← ссылки)
- Свойство Черча-Россера (← ссылки)
- СПТ (← ссылки)
- Терм (← ссылки)