Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

18 ta ish

Ish: Finite logical specifications of effectively separable data models

  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. A characterisation of computable data types by means of a finite equational specification method

    J. A. Bergstra, John V. Tucker

    Bob198013 iqtibos
    ABI

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

    N. Kh. Kasymov

    Maqola199313 iqtibos
    ABI

  5. Sarlavhasiz

    Boshqa9 iqtibos
    ABI

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

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

    Maqola20229 iqtibos
    ABI

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

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

    Maqola19968 iqtibos
    ABI

  8. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

    Bob19797 iqtibos
    ABI

  9. Some definitions for algebraic data type specifications

    Sam Kamin

    Maqola19797 iqtibos
    ABI

  10. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 iqtibos
    ABI

  11. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

    Maqola19925 iqtibos
    ABI

  12. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

    MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 iqtibos
    ABI

  13. Separable Algorithmic Representations of Classical Systems and their Applications

    N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov

    MaqolaComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 iqtibos
    ABI

  14. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Maqola19684 iqtibos
    ABI

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

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

    Maqola20213 iqtibos
    ABI

  16. Uniform $m$-equivalencies and numberings of classical systems

    N. Kh. Kasymov, R. N. Dadazhanov, S. K. Zhavliev

    Maqola20223 iqtibos
    ABI

  17. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    MaqolaSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 iqtibos
    ABI

  18. Sarlavhasiz

    Boshqa1 iqtibos
    ABI