Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

10 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. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Maqola199212 iqtibos
    ABI

  3. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Maqola20018 iqtibos
    ABI

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

    Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

    Maqola20168 iqtibos
    ABI

  5. T1-Separable Numberings of Subdirectly Indecomposable Algebras

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

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic20217 iqtibos
    ABI

  6. Existential quantifiers in abstract data types

    Manfred Broy, Walter Dosch, H. Partsch +2

    Bob19797 iqtibos
    ABI

  7. Some definitions for algebraic data type specifications

    Sam Kamin

    Maqola19797 iqtibos
    ABI

  8. Hierarchies of Boolean algebras

    Lawrence Feiner

    Maqola19706 iqtibos
    ABI

  9. Rekursive Algebren mit Kettenbedingungen

    Walter Bäur

    Maqola19745 iqtibos
    ABI

  10. Nonconstructive negative algebras with finiteness conditions

    N. Kh. Kasymov

    Maqola19923 iqtibos
    ABI