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

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

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

• Критическая пара ‎ (← ссылки)
• Нетеровая СПТ ‎ (← ссылки)
• Полная система переписывания термов ‎ (← ссылки)
• Полная СПТ ‎ (← ссылки)
• Правило переписывания ‎ (← ссылки)
• Свойство Черча-Россера ‎ (← ссылки)
• СПТ ‎ (← ссылки)
• Терм ‎ (← ссылки)