Title | Effective enumerations of families of recursive functions |
Publication Type | Journal Article |
Year of Publication | 2001 |
Authors | Ditchev A |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 93 |
Pagination | 31-37 |
ISSN | 0205-0808 |
Keywords | strong recursive sequence, totally recursive function, universal function for a family of recursive functions |
Abstract | 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 |
Attachment | Size |
---|---|
93-031-037.pdf | 705.21 KB |