Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
← Back to work

Works citing this work

4 works

Work: Finitely presented expansions of groups, semigroups, and algebras

  1. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    ArticleComputability, Logic, AI AlgorithmsRussian Mathematics20242 citations
    ABI

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

  3. Defining algorithmically presented structures in first order logic

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

    ArticleComputability, Logic, AI Algorithms20241 citations
    ABI

  4. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    ArticleSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 citations
    ABI