RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 12:00, г. Москва, МИАН
 


Canonical inference

Nachum Dershowitz

Tel Aviv University

Количество просмотров:
Эта страница:173
Видеофайлы:56

Nachum Dershowitz
Фотогалерея



Аннотация: An abstract proof-theoretic framework, inspired by rewriting methods, is proposed. Normal-form proof objects are minimal in some wellfounded proof ordering. The approach applies in the equational, Hornclause, and deduction-modulo cases, among others, as they incorporate formal notions of simplification and redundancy.

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017