Asosiy kontentga oʻtish
AkademIndex

Xizmatlar

← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

26 ta ish

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

  1. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Maqola199618 iqtibos
    ABI

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Maqola199318 iqtibos
    ABI

  3. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199415 iqtibos
    ABI

  4. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199214 iqtibos
    ABI

  5. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199214 iqtibos
    ABI

  6. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201613 iqtibos
    ABI

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

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

  8. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199113 iqtibos
    ABI

  9. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos
    ABI

  10. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  11. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Kitob198710 iqtibos
    ABI

  12. Sarlavhasiz

    Boshqa10 iqtibos
    ABI

  13. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos
    ABI

  14. Separable Algorithmic Representations of Classical Systems and Their Applications

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

    MaqolaOchiq kirishAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20216 iqtibos
    ABI

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Maqola20136 iqtibos
    ABI

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

  17. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Maqola19925 iqtibos
    ABI

  18. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Maqola19694 iqtibos
    ABI

  19. The number of algebras over simple sets

    N. Kh. Kasymov

    Maqola19924 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