Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
← Back to work

Works cited by this work

26 works

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

  1. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Article199316 citations
    ABI

  2. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Article199615 citations
    ABI

  3. Algebras over negative equivalences

    N. Kh. Kasymov

    Article199413 citations
    ABI

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

    J. A. Bergstra, John V. Tucker

    Chapter198013 citations
    ABI

  5. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Article196112 citations
    ABI

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Article199212 citations
    ABI

  7. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Article199212 citations
    ABI

  8. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    ArticleComputability, Logic, AI AlgorithmsAlgebra and Logic201611 citations
    ABI

  9. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Article198711 citations
    ABI

  10. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Book198710 citations
    ABI

  11. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Article199110 citations
    ABI

  12. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Article19929 citations
    ABI

  13. Untitled

    Other9 citations
    ABI

  14. Structures of Degrees of Negative Representations of Linear Orders

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

    ArticleComputability, Logic, AI AlgorithmsRussian Mathematics20215 citations
    ABI

  15. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Article19925 citations
    ABI

  16. The number of algebras over simple sets

    N. Kh. Kasymov

    Article19924 citations
    ABI

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Article20134 citations
    ABI

  18. Separable Algorithmic Representations of Classical Systems and Their Applications

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

    ArticleAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20213 citations
    ABI

  19. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Article19693 citations
    ABI

  20. Constructive Models

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

    Book20003 citations
    ABI

  21. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

    Article20142 citations
    ABI

  22. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

    Article20152 citations
    ABI

  23. Untitled

    Other1 citations
    ABI

  24. Untitled

    Other1 citations
    ABI

  25. Untitled

    Other1 citations
    ABI