Семинар 5 декабря 2000 года

Вторник, 5 декабря, комната 106. Начало в 12:00.

Докладчик: В. Жижкун.

РАВЕНСТВА И ПЕРЕПИСЫВАНИЕ ТЕРМОВ
В докладе обсуждаются системы равенств и системы переписывания термов, некоторые их свойства (в частности, нетеровость, или остановочность) и связь этих свойств в проблемой разрешимости (теорема Кнута-Бендикса).