Вы здесь

Главная

равенство

Связанные издания:

Deep Equality Revisited
Fixed Points on Abstract Structures without the Equality Test
Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality
Доказательство свойств функциональных программ методом насы ения равенствами
Методы и средства обращения с равенством в машинном доказательстве теорем
Методы и средства статического анализа семантических свойств программ
О пересечении множеств равенств термов в конечноопределенных алгебрах