Заглавие | Effective enumerations of families of recursive functions |
Вид публикация | Journal Article |
Година на публикуване | 2001 |
Автори | Ditchev A |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 93 |
Pagination | 31-37 |
ISSN | 0205-0808 |
ключови думи | strong recursive sequence, totally recursive function, universal function for a family of recursive functions |
Резюме | In this paper necessary and sufficient conditions for a family of finite functions and a family of totally recursive functions to have a universal partially recursive function are given. |
2000 MSC | 03D20 |
Прикачен файл | Размер |
---|---|
93-031-037.pdf | 705.21 KB |