Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
← Back to work

Works cited by this work

47 works

Work: Separable numberings of universal algebras

  1. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Article19684 citations
    ABI

  2. Topological Spaces Over Algorithmic Representations of Universal Algebras

    N. Kh. Kasymov, I. A. Khodzhamuratova

    ArticleComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20204 citations
    ABI

  3. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

    Uri Andrews, Steffen Lempp, Joseph S. Miller +3

    Article20144 citations
    ABI

  4. �ber rekursive Strukturen

    Walte Baur

    Article19743 citations
    ABI

  5. Uniform $m$-equivalencies and numberings of classical systems

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

    Article20223 citations
    ABI

  6. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    ArticleComputability, Logic, AI AlgorithmsRussian Mathematics20242 citations
    ABI

  7. On the immersion of an algebraic ring into a field

    A. Mal′cev

    Article19372 citations
    ABI

  8. Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

    R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova

    ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 citations
    ABI

  9. Effective compacts over co-immune sets

    R.N. Dadajonov, N. R. Karimova, N. Kh. Kasymov

    Article20192 citations
    ABI

  10. Algebraic Systems

    A. I. Mal’cev

    Book19732 citations
    ABI

  11. Locally finite and finitely approximated unoids over computably separable equivalences

    N. Kh. Kasymov

    ArticleComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20241 citations
    ABI

  12. Defining algorithmically presented structures in first order logic

    N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

    ArticleComputability, Logic, AI Algorithms20241 citations
    ABI

  13. Untitled

    Other1 citations
    ABI

  14. Untitled

    Other1 citations
    ABI

  15. Untitled

    Other1 citations
    ABI

  16. Untitled

    Other1 citations
    ABI

  17. Untitled

    Other1 citations
    ABI

  18. Untitled

    Other1 citations
    ABI

  19. Untitled

    Other1 citations
    ABI

  20. Untitled

    Other1 citations
    ABI

  21. Untitled

    Other1 citations
    ABI

  22. Untitled

    Other1 citations
    ABI