Asosiy kontentga oʻtish
AkademIndex

Mahsulotlar

Ishlab chiquvchilar uchun

AkademBaseEkotizim uchun ochiq API
← Ishga qaytish

Ushbu ish iqtibos qilgan ishlar

16 ta ish

Ish: On Infinite Direct Sums of Minimal Numberings of Functional Families

  1. Recursively Enumerable Sets and Degrees

    Robert I. Soare

    Kitob198710 iqtibos
    ABI

  2. Theory of Numberings

    Yuri L. Ershov

    Bob19996 iqtibos
    ABI

  3. On decomposition of Gödelnumberings into Friedbergnumberings

    Britta Schinzel

    Maqola19824 iqtibos
    ABI

  4. Effectively infinite classes of numberings and computable families of reals

    M. Kh. Faĭzrahmanov, Z. K. Shchedrikova

    Maqola20234 iqtibos
    ABI

  5. Algorithmic Randomness and Complexity

    Rodney G. Downey, Denis R. Hirschfeldt

    Kitob20102 iqtibos
    ABI

  6. Arithmetic complexity via effective names for random sequences

    Bjørn Kjos-Hanssen, Frank Stephan, Jason Teutsch

    Maqola20122 iqtibos
    ABI

  7. Things that can be made into themselves

    Frank Stephan, Jason Teutsch

    Maqola20142 iqtibos
    ABI

  8. Enumeration of families of general recursive functions

    Yu. L. Ershov

    Maqola19672 iqtibos
    ABI

  9. The computable enumerations of families of general recursive functions

    С. С. Марченков

    Maqola19722 iqtibos
    ABI

  10. Limitwise monotonic sets of reals

    M. Kh. Faĭzrahmanov, I. Sh. Kalimullin

    Maqola20152 iqtibos
    ABI

  11. Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication

    R. Friedberg

    Maqola19582 iqtibos
    ABI

  12. Numberings and Randomness

    Paul Brodhead, Bjørn Kjos-Hanssen

    Bob20092 iqtibos
    ABI

  13. Reductions between types of numberings

    Ian Herbert, Sanjay Jain, Steffen Lempp +2

    Maqola20192 iqtibos
    ABI

  14. Numberings and randomness

    Brodhead, Katie, Kjos-Hanssen, Bjørn

    Bob20142 iqtibos
    ABI

  15. Sarlavhasiz

    Boshqa2 iqtibos
    ABI

  16. Positive enumerations

    S. A. Badaev

    Maqola19772 iqtibos
    ABI