Запис Детальніше

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

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами
The application of genetic algorithms for unification of second-order terms with unary functional symbols
 
Creator Болгар, Ю
Жежерун, Олександр
 
Subject лямбда-алгебра
уніфікація другого порядку
lambda-algebra
second-order unification
 
Description 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.
Задача уніфікації другого порядку у загальному випадку є нерозв’язною, хоча для окремої лямбда-
алгебри термів другого порядку із одномісними функціональними символами її розв’язність доведено.
 
Date 2014-11-27T08:21:38Z
2014-11-27T08:21:38Z
2014
 
Type Article
 
Identifier Болгар Ю. О. Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами / Болгар Ю. О., Жежерун О. П. // Наукові записки НаУКМА. - 2014. - Т. 163 : Комп'ютерні науки. - С. 19-24.
http://www.ekmair.ukma.edu.ua/handle/123456789/3401
 
Language ua