Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseЭкотизим учун очиқ API
← Ишга қайтиш

Ушбу иш иқтибос қилган ишлар

55 та иш

Иш: Defining algorithmically presented structures in first order logic

  1. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Мақола199615 иқтибос
    ABI

  2. Algebras over negative equivalences

    N. Kh. Kasymov

    Мақола199413 иқтибос
    ABI

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

    J. A. Bergstra, John V. Tucker

    Боб198013 иқтибос
    ABI

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

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

    Мақола200612 иқтибос
    ABI

  5. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Мақола199212 иқтибос
    ABI

  6. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Мақола199212 иқтибос
    ABI

  7. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    МақолаComputability, Logic, AI AlgorithmsAlgebra and Logic201611 иқтибос
    ABI

  8. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Мақола198711 иқтибос
    ABI

  9. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Китоб198710 иқтибос
    ABI

  10. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Мақола199110 иқтибос
    ABI

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

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Мақола20168 иқтибос
    ABI

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Мақола20134 иқтибос
    ABI

  13. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

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

    Мақола20144 иқтибос
    ABI

  14. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Мақола19693 иқтибос
    ABI

  15. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

    Мақола20142 иқтибос
    ABI

  16. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

    Мақола20152 иқтибос
    ABI

  17. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  18. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  19. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  20. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  21. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  22. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  23. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  24. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI

  25. Сарлавҳасиз

    Бошқа1 иқтибос
    ABI