Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами
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
|
|