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

Работ: 55

Работа: Defining algorithmically presented structures in first order logic

1. Recursively separable enumerated algebras

   N. Kh. Kasymov

   Статья1996Цитирований: 15

   ABIABI:AkademIndex/openalex/2026.other.357715

2. Algebras over negative equivalences

   N. Kh. Kasymov

   Статья1994Цитирований: 13

   ABIABI:AkademIndex/openalex/2026.other.357713

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

   J. A. Bergstra, John V. Tucker

   Глава1980Цитирований: 13

   ABIABI:AkademIndex/openalex/2026.other.407920

4. $$\Pi^0_1$$ -Presentations of Algebras

   Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

   Статья2006Цитирований: 12

   ABIABI:AkademIndex/openalex/2026.other.357714

5. Positive algebras with countable congruence lattices

   N. Kh. Kasymov

   Статья1992Цитирований: 12

   ABIABI:AkademIndex/openalex/2026.other.407924

6. Homomorphisms onto negative algebras

   N. Kh. Kasymov

   Статья1992Цитирований: 12

   ABIABI:AkademIndex/openalex/2026.other.407928

7. Definability of Linear Orders over Negative Equivalences

   N. Kh. Kasymov, Andrey Morozov

   СтатьяComputability, Logic, AI AlgorithmsAlgebra and Logic2016Цитирований: 11

   ABIABI:AkademIndex/openalex/2026.other.357716

8. Algebras with finitely approximable positively representable enrichments

   N. Kh. Kasymov

   Статья1987Цитирований: 11

   ABIABI:AkademIndex/openalex/2026.other.407929

9. Recursively Enumerable Sets and Degrees

   Robert I. Soare

   Книга1987Цитирований: 10

   ABIABI:AkademIndex/openalex/2026.other.386106

10. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Статья1991Цитирований: 10

    ABIABI:AkademIndex/openalex/2026.other.407921

11. LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Статья2016Цитирований: 8

    ABIABI:AkademIndex/openalex/2026.other.408874

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Статья2013Цитирований: 4

    ABIABI:AkademIndex/openalex/2026.other.561318

13. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

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

    Статья2014Цитирований: 4

    ABIABI:AkademIndex/openalex/2026.other.587316

14. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Статья1969Цитирований: 3

    ABIABI:AkademIndex/openalex/2026.other.407934

15. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

    Статья2014Цитирований: 2

    ABIABI:AkademIndex/openalex/2026.other.574602

16. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

    Статья2015Цитирований: 2

    ABIABI:AkademIndex/openalex/2026.other.574603

17. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587301

18. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587302

19. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587303

20. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587304

21. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587305

22. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587306

23. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587307

24. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587308

25. Без названия

    ДругоеЦитирований: 1

    ABIABI:AkademIndex/openalex/2026.other.587309