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

Маҳсулотлар

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

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

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

12 та иш

Иш: $\Pi^0_1$ -Presentations of Algebras

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

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

  2. Separable Enumerations of Division Rings and Effective Embeddability of Rings Therein

    N. Kh. Kasymov, F. N. Ibragimov

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

  3. T1-Separable Numberings of Subdirectly Indecomposable Algebras

    N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova

    МақолаComputability, Logic, AI AlgorithmsAlgebra and Logic20217 иқтибос
    ABI

  4. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

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

  5. Structures of Degrees of Negative Representations of Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov, S. K. Djavliev

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

  6. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

    МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 иқтибос
    ABI

  7. Separable Algorithmic Representations of Classical Systems and their Applications

    N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov

    МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 иқтибос
    ABI

  8. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

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

  9. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

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

  10. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

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

  11. Logical specifications of effectively separable data models

    N. Kh. Kasymov

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

  12. Separable numberings of universal algebras

    N. Kh. Kasymov

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