Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBasetez oradaEkotizim uchun ochiq API
Lotin
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

25 ta ish

Ish: Separable Algorithmic Representations of Classical Systems and their Applications

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 iqtibos
    ABI

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Maqola199316 iqtibos
    ABI

  3. Algebras over negative equivalences

    N. Kh. Kasymov

    Maqola199413 iqtibos
    ABI

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

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

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

    N. Kh. Kasymov

    Maqola199313 iqtibos
    ABI

  6. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos
    ABI

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

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

    Maqola200612 iqtibos
    ABI

  8. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  9. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  10. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201611 iqtibos
    ABI

  11. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos
    ABI

  12. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos
    ABI

  13. Рекурсивно отделимые нумерованные алгебры

    Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов

    Maqola19968 iqtibos
    ABI

  14. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Maqola20018 iqtibos
    ABI

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

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Maqola20168 iqtibos
    ABI

  16. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

    Bob19797 iqtibos
    ABI

  17. Some definitions for algebraic data type specifications

    Sam Kamin

    Maqola19797 iqtibos
    ABI

  18. Hierarchies of Boolean algebras

    Lawrence Feiner

    Maqola19706 iqtibos
    ABI

  19. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

    Maqola19745 iqtibos
    ABI

  20. Topological Spaces Over Algorithmic Representations of Universal Algebras

    N. Kh. Kasymov, I. A. Khodzhamuratova

    MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20204 iqtibos
    ABI

  21. Nonconstructive negative algebras with finiteness conditions

    N. Kh. Kasymov

    Maqola19923 iqtibos
    ABI

  22. �ber rekursive Strukturen

    Walte Baur

    Maqola19743 iqtibos
    ABI

  23. $T_1$-separable numberings of subdirectly indecomposable algebras

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

    Maqola20213 iqtibos
    ABI

  24. Effective compacts over co-immune sets

    R.N. Dadajonov, N. R. Karimova, N. Kh. Kasymov

    Maqola20192 iqtibos
    ABI

  25. Sarlavhasiz

    Boshqa1 iqtibos
    ABI