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

Маҳсулотлар

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

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

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

26 та иш

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

  1. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Мақола199316 иқтибос
    ABI

  2. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Мақола199615 иқтибос
    ABI

  3. Algebras over negative equivalences

    N. Kh. Kasymov

    Мақола199413 иқтибос
    ABI

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

    J. A. Bergstra, John V. Tucker

    Боб198013 иқтибос
    ABI

  5. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Мақола196112 иқтибос
    ABI

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Мақола199212 иқтибос
    ABI

  7. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Мақола199212 иқтибос
    ABI

  8. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

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

  9. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Мақола198711 иқтибос
    ABI

  10. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Китоб198710 иқтибос
    ABI

  11. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Мақола199110 иқтибос
    ABI

  12. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Мақола19929 иқтибос
    ABI

  13. Сарлавҳасиз

    Бошқа9 иқтибос
    ABI

  14. Structures of Degrees of Negative Representations of Linear Orders

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

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

  15. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Мақола19925 иқтибос
    ABI

  16. The number of algebras over simple sets

    N. Kh. Kasymov

    Мақола19924 иқтибос
    ABI

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Мақола20134 иқтибос
    ABI

  18. Separable Algorithmic Representations of Classical Systems and Their Applications

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

    МақолаAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20213 иқтибос
    ABI

  19. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Мақола19693 иқтибос
    ABI

  20. Constructive Models

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

    Китоб20003 иқтибос
    ABI

  21. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

    Мақола20142 иқтибос
    ABI

  22. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

    Мақола20152 иқтибос
    ABI

  23. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  24. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  25. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI