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

Маҳсулотлар

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

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

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

18 та иш

Иш: Finite logical specifications of effectively separable data models

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 иқтибос
    ABI

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Мақола199316 иқтибос
    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. Separation axioms and partitions of the set of natural numbers

    N. Kh. Kasymov

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

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

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

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

    Uri Andrews, DANIEL F. BELIN, Luca San Mauro

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

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

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

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

  8. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

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

  9. Some definitions for algebraic data type specifications

    Sam Kamin

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

  10. Lower Semilattices of Separable Congruences of Numbered Algebras

    N. Kh. Kasymov, Andrey Morozov

    МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 иқтибос
    ABI

  11. The number ofQ-congruences in positive algebras

    N. Kh. Kasymov

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

  12. Computably Separable Models

    N. Kh. Kasymov, F. N. Ibragimov

    МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20224 иқтибос
    ABI

  13. Separable Algorithmic Representations of Classical Systems and their Applications

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

    МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 иқтибос
    ABI

  14. Semirecursive sets and positive reducibility

    Carl G. Jockusch

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

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

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

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

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

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

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

  17. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    МақолаSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 иқтибос
    ABI

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

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