Probabilistic computability and choice (Q2346414): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q324249
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Rupert Hölzl / rank
 
Normal rank

Revision as of 04:07, 13 February 2024

scientific article
Language Label Description Also known as
English
Probabilistic computability and choice
scientific article

    Statements

    Probabilistic computability and choice (English)
    0 references
    0 references
    0 references
    0 references
    1 June 2015
    0 references
    computable analysis
    0 references
    Weihrauch lattice
    0 references
    computability theory
    0 references
    reverse mathematics
    0 references
    randomized algorithms
    0 references
    randomized computations on infinite objects
    0 references
    probabilistic Turing machine
    0 references
    Las Vegas computable functions
    0 references
    weak weak König's lemma
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references