Effective enumerations of families of recursive functions

TitleEffective enumerations of families of recursive functions
Publication TypeJournal Article
Year of Publication2001
AuthorsDitchev A
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume93
Pagination31-37
ISSN0205-0808
Keywordsstrong 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

AttachmentSize
PDF icon 93-031-037.pdf705.21 KB