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

Маҳсулотлар

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

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

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

22 та иш

Иш: Computably Separable 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. $$\Pi^0_1$$ -Presentations of Algebras

    Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin

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

  6. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

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

  7. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    МақолаComputability, Logic, AI AlgorithmsAlgebra and Logic201611 иқтибос
    ABI

  8. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

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

  9. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

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

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

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

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

  11. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

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

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

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

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

  13. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

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

  14. Some definitions for algebraic data type specifications

    Sam Kamin

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

  15. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

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

  16. Hierarchies of Boolean algebras

    Lawrence Feiner

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

  17. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

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

  18. �ber rekursive Strukturen

    Walte Baur

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

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

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

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

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

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

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

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

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