A Kleene characterization of computability (Q845916)

From MaRDI portal
Revision as of 15:29, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
A Kleene characterization of computability
scientific article

    Statements

    A Kleene characterization of computability (English)
    0 references
    0 references
    29 January 2010
    0 references
    0 references
    formal languages
    0 references
    Kleene
    0 references
    recursive enumerable
    0 references
    binary relation
    0 references