Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

55 ta ish

Ish: Defining algorithmically presented structures in first order logic

  1. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Maqola199615 iqtibos
    ABI

  2. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199413 iqtibos
    ABI

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

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

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

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

    Maqola200612 iqtibos
    ABI

  5. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  6. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  7. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201611 iqtibos
    ABI

  8. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  9. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Kitob198710 iqtibos
    ABI

  10. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199110 iqtibos
    ABI

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

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Maqola20168 iqtibos
    ABI

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

    Bakhadyr Khoussainov, Alexei Miasnikov

    Maqola20134 iqtibos
    ABI

  13. UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

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

    Maqola20144 iqtibos
    ABI

  14. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Maqola19693 iqtibos
    ABI

  15. Graphs realised by r.e. equivalence relations

    Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1

    Maqola20142 iqtibos
    ABI

  16. Reducibilities among equivalence relations induced by recursively enumerable structures

    Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan

    Maqola20152 iqtibos
    ABI

  17. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  18. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  19. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  20. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  21. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  22. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  23. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  24. Sarlavhasiz

    Boshqa1 iqtibos
    ABI

  25. Sarlavhasiz

    Boshqa1 iqtibos
    ABI