Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseЭкотизим учун очиқ API
← Ишга қайтиш

Ушбу ишга иқтибос қилган ишлар

9 та иш

Иш: ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS

  1. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20242 иқтибос
    ABI

  2. Locally finite and finitely approximated unoids over computably separable equivalences

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20241 иқтибос
    ABI

  3. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    МақолаSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 иқтибос
    ABI

  4. Separable numberings of universal algebras

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 иқтибос
    ABI

  5. One Question of the Theory of Numbered Groups

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20250 иқтибос
    ABI

  6. Negativity of effectively separable numberings of fields the finite characteristic

    N. Kh. Kasymov, N. R. Karimova, E. A. Khodzhamuratova

    МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 иқтибос
    ABI

  7. Unoids with Finiteness Conditions over Computably Separable Equivalences

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsLobachevskii Journal of Mathematics20250 иқтибос
    ABI

  8. Finite logical specifications of effectively separable data models

    N. R. Karimova, N. Kh. Kasymov, S. K. Zhavliev

    МақолаComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20250 иқтибос
    ABI

  9. Finite Logical Specifications of Effectively Separable Data Models

    N. R. Karimova, N. Kh. Kasymov, S. K. Zhavliev

    МақолаStatistical and Computational ModelingRussian Mathematics20250 иқтибос
    ABI