Maqola

Computably Separable Models

N. Kh. KasymovNational University of Uzbekistan named after M. UlugbekF. N. IbragimovNational University of Uzbekistan named after M. Ulugbek

Contemporary Mathematics Fundamental Directionsjournal2018en

ABI

Annotatsiya

We state fundamental results of structural theory of computably separable models and consider applications of this theory to solution of some actual problems of the theory of eﬀective linear orders and theoretical informatics.

Hali tarjima qilinmagan

Mavzular

Computability, Logic, AI Algorithms Digital Image Processing Techniques Advanced Algebra and Logic

Identifikatorlar

DOI: 10.22363/2413-3639-2018-64-4-682-705

Iqtiboslar va manbalar

1 ta iqtibos 12 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar