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

Маҳсулотлар

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

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

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

12 та иш

Иш: Positive algebras with countable congruence lattices

  1. Structures of Degrees of Negative Representations of Linear Orders

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

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

  2. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

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

  3. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

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

  4. 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

  5. Topological Spaces Over Algorithmic Representations of Universal Algebras

    N. Kh. Kasymov, I. A. Khodzhamuratova

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

  6. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

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

  7. Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

    R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova

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

  8. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

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

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

    N. Kh. Kasymov

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

  10. Defining algorithmically presented structures in first order logic

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

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

  11. Separable numberings of universal algebras

    N. Kh. Kasymov

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

  12. Unoids with Finiteness Conditions over Computably Separable Equivalences

    N. Kh. Kasymov

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