Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

26 ta ish

Ish: Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

  1. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Maqola199316 iqtibos
    ABI

  2. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Maqola199615 iqtibos
    ABI

  3. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199413 iqtibos
    ABI

  4. A characterisation of computable data types by means of a finite equational specification method

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

  5. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos
    ABI

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  7. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  8. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201611 iqtibos
    ABI

  9. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  10. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Kitob198710 iqtibos
    ABI

  11. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199110 iqtibos
    ABI

  12. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos
    ABI

  13. Sarlavhasiz

    Boshqa9 iqtibos
    ABI

  14. Structures of Degrees of Negative Representations of Linear Orders

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

    MaqolaComputability, Logic, AI AlgorithmsRussian Mathematics20215 iqtibos
    ABI

  15. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Maqola19925 iqtibos
    ABI

  16. The number of algebras over simple sets

    N. Kh. Kasymov

    Maqola19924 iqtibos
    ABI

  17. Finitely presented expansions of groups, semigroups, and algebras

    Bakhadyr Khoussainov, Alexei Miasnikov

    Maqola20134 iqtibos
    ABI

  18. Separable Algorithmic Representations of Classical Systems and Their Applications

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

    MaqolaAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20213 iqtibos
    ABI

  19. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Maqola19693 iqtibos
    ABI

  20. Constructive Models

    Yuri L. Ershov, С. С. Гончаров

    Kitob20003 iqtibos
    ABI

  21. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

    Maqola20142 iqtibos
    ABI

  22. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

    Maqola20152 iqtibos
    ABI

  23. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  24. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  25. Sarlavhasiz

    Boshqa1 iqtibos
    ABI