Normal Higher-Order Termination (Q2946769)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normal Higher-Order Termination
scientific article

    Statements

    title
    Normal Higher-Order Termination (English)
    0 references
    author
    Jean-Pierre Jouannaud
    0 references
    Albert Rubio
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH Keywords
    higher-order rewriting
    0 references
    higher-order orderings
    0 references
    higher-order patterns
    0 references
    typed lambda calculus
    0 references
    cites work
    Q4938611
    0 references
    Q4385532
    0 references
    Q4649558
    0 references
    Q3127078
    0 references
    Q3024848
    0 references
    Q2778883
    0 references

    Identifiers

    DOI
    10.1145/2699913
    0 references
    zbMATH DE Number
    6483259
    0 references
    OpenAlex ID
    W2137965931
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946769&oldid=36201456"
    Powered by MediaWiki