Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseскороОткрытый API экосистемы
Латиница
← Назад к работе

Работы, на которые ссылается эта работа

Работ: 18

Работа: Computability and Universal Determinability of Negatively Representable Models

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    ABI
  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Статья1993Цитирований: 16
    ABI
  3. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Статья1996Цитирований: 15
    ABI
  4. Algebras over negative equivalences

    N. Kh. Kasymov

    Статья1994Цитирований: 13
    ABI
  5. A characterisation of computable data types by means of a finite equational specification method

    J. A. Bergstra, John V. Tucker

    Глава1980Цитирований: 13
    ABI
  6. Separation axioms and partitions of the set of natural numbers

    N. Kh. Kasymov

    Статья1993Цитирований: 13
    ABI
  7. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Статья1961Цитирований: 12
    ABI
  8. $$\Pi^0_1$$ -Presentations of Algebras

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

    Статья2006Цитирований: 12
    ABI
  9. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Статья1992Цитирований: 12
    ABI
  10. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Статья1992Цитирований: 12
    ABI
  11. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Статья1987Цитирований: 11
    ABI
  12. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Статья1991Цитирований: 10
    ABI
  13. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

    ABI
  14. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

    ABI