Asosiy kontentga oʻtish
AkademIndex

Xizmatlar

← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

47 ta ish

Ish: Separable numberings of universal algebras

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201621 iqtibos
    ABI

  2. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Maqola199618 iqtibos
    ABI

  3. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Maqola199318 iqtibos
    ABI

  4. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199415 iqtibos
    ABI

  5. Separation axioms and partitions of the set of natural numbers

    N. Kh. Kasymov

    Maqola199315 iqtibos
    ABI

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199214 iqtibos
    ABI

  7. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199214 iqtibos
    ABI

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

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

  9. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199113 iqtibos
    ABI

  10. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos
    ABI

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

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

    Maqola200612 iqtibos
    ABI

  12. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  13. ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

    Maqola202211 iqtibos
    ABI

  14. Sarlavhasiz

    Boshqa10 iqtibos
    ABI

  15. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos
    ABI

  16. Separable Enumerations of Division Rings and Effective Embeddability of Rings Therein

    N. Kh. Kasymov, F. N. Ibragimov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20198 iqtibos
    ABI

  17. T1-Separable Numberings of Subdirectly Indecomposable Algebras

    N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic20217 iqtibos
    ABI

  18. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

    Bob19797 iqtibos
    ABI

  19. Some definitions for algebraic data type specifications

    Sam Kamin

    Maqola19797 iqtibos
    ABI

  20. Theory of Numberings

    Yuri L. Ershov

    Bob19996 iqtibos
    ABI

  21. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 iqtibos
    ABI

  22. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

    Maqola19745 iqtibos
    ABI

  23. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Maqola19925 iqtibos
    ABI

  24. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

    MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 iqtibos
    ABI

  25. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

    Maqola19904 iqtibos
    ABI