Term rewriting theory for the primitive recursive functions (Q674412): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/s0168-0072(96)00015-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1996792588 / rank
 
Normal rank

Latest revision as of 10:38, 30 July 2024

scientific article
Language Label Description Also known as
English
Term rewriting theory for the primitive recursive functions
scientific article

    Statements

    Term rewriting theory for the primitive recursive functions (English)
    0 references
    0 references
    0 references
    29 September 1997
    0 references
    rewriting systems
    0 references
    termination
    0 references
    parameter recursion
    0 references
    simple nested recursion
    0 references
    unnested multiple recursion
    0 references
    derivation lengths
    0 references
    primitive recursive functions
    0 references

    Identifiers