Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889)

From MaRDI portal
Revision as of 11:39, 4 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
scientific article

    Statements

    title
    Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (English)
    0 references
    author
    Carsten Fuhs
    0 references
    Cynthia Kop
    0 references
    publication date
    7 October 2011
    0 references
    zbMATH Keywords
    higher-order rewriting
    0 references
    termination
    0 references
    dependency pairs
    0 references
    modularity
    0 references
    describes a project that uses
    AProVE
    0 references
    Tyrolean
    0 references
    Haskell
    0 references
    cites work
    Q2723890
    0 references
    Q4846997
    0 references
    Q2778888
    0 references
    Q4847000
    0 references

    Identifiers

    zbMATH DE Number
    5954767
    0 references
    OpenAlex ID
    W1872679327
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3172889&oldid=35247369"
    Powered by MediaWiki