Bounded combinatory logic and lower complexity (Q276270)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bounded combinatory logic and lower complexity
scientific article

    Statements

    Bounded combinatory logic and lower complexity (English)
    0 references
    0 references
    3 May 2016
    0 references
    combinatory logic
    0 references
    stratification
    0 references
    implicit computational complexity
    0 references
    polynomial time
    0 references
    polynomial space
    0 references
    soft linear logic
    0 references

    Identifiers

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