Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами

Loading...
Thumbnail Image
Date
2014
Authors
Болгар, Ю
Жежерун, Олександр
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Second-order unification problem is undecidable in general case, but the decidability has been proven for lambda-algebra of second-order terms with unary functional symbols.
Description
Keywords
лямбда-алгебра, уніфікація другого порядку, lambda-algebra, second-order unification
Citation
Болгар Ю. О. Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами / Болгар Ю. О., Жежерун О. П. // Наукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 19-24.