Заглавие | 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 |
Issue | Livre 1 - Mathématiques et Mecanique |
Pagination | 7-16 |
ISSN | 0205-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 |
Прикачен файл | Размер |
---|---|
92-007-016.pdf | 934.71 KB |