Characterization of the structures which admit effective enumerations

ЗаглавиеCharacterization of the structures which admit effective enumerations
Вид публикацияJournal Article
Година на публикуване2000
АвториDitchev A
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том92
IssueLivre 1 - Mathématiques et Mecanique
Pagination7-16
ISSN0205-0808
ключови думиeffective enumeration, extended effective enumeration, recursive model
Резюме

In this paper a characterization of the partial structures with denumerable domains which admit an effective enumeration is given.

1991/95 MSC

03D45, 03C57

Прикачен файлРазмер
PDF icon 92-007-016.pdf934.71 KB