Intensional aspects of function definitions (Q673180): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: About primitive recursive algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5812175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5557923 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3789064 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3734395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The formal language of recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4710656 / rank
 
Normal rank

Latest revision as of 10:23, 27 May 2024

scientific article
Language Label Description Also known as
English
Intensional aspects of function definitions
scientific article

    Statements

    Intensional aspects of function definitions (English)
    0 references
    0 references
    28 February 1997
    0 references
    generalization of equational definitions of functions
    0 references
    intensional property
    0 references
    Herbrand-Gödel-Kleene systems
    0 references
    primitive recursive definitions
    0 references
    \(\mu\)-recursive definitions
    0 references
    extensional property
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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