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

Маҳсулотлар

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

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

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

24 та иш

Иш: Lower Semilattices of Separable Congruences of Numbered Algebras

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

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

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

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

  3. Recursively separable enumerated algebras

    N. Kh. Kasymov

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

  4. Algebras over negative equivalences

    N. Kh. Kasymov

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

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

    J. A. Bergstra, John V. Tucker

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

  6. Separation axioms and partitions of the set of natural numbers

    N. Kh. Kasymov

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

  7. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

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

  8. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

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

  9. Homomorphisms onto negative algebras

    N. Kh. Kasymov

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

  10. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

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

  11. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

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

  12. Positive algebras with congruences of finite index

    N. Kh. Kasymov

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

  13. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

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

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

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

  15. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

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

  16. T1-Separable Numberings of Subdirectly Indecomposable Algebras

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

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

  17. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

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

  18. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

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

  19. Semirecursive sets and positive reducibility

    Carl G. Jockusch

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

  20. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

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

  21. Constructive Models

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

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

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

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

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

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

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