Meta-variables as infinite lists in nominal terms unification and rewriting (Q4913996)

From MaRDI portal
Revision as of 09:10, 29 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q1744403)
scientific article; zbMATH DE number 6154943
Language Label Description Also known as
English
Meta-variables as infinite lists in nominal terms unification and rewriting
scientific article; zbMATH DE number 6154943

    Statements

    Meta-variables as infinite lists in nominal terms unification and rewriting (English)
    0 references
    17 April 2013
    0 references
    nominal terms
    0 references
    \(\alpha \)-equivalence
    0 references
    binding
    0 references
    nominal unification
    0 references
    nominal rewriting
    0 references
    nominal algebra
    0 references
    permissive-nominal logic
    0 references
    logical frameworks
    0 references
    foundations
    0 references

    Identifiers