Matrix interpretations for proving termination of term rewriting (Q928655)

From MaRDI portal
Revision as of 10:45, 28 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Matrix interpretations for proving termination of term rewriting
scientific article

    Statements

    title
    Matrix interpretations for proving termination of term rewriting (English)
    0 references
    author
    Jörg Endrullis
    0 references
    Johannes Waldmann
    0 references
    Hans Zantema
    0 references
    publication date
    11 June 2008
    0 references
    zbMATH Keywords
    Term rewriting
    0 references
    Termination
    0 references
    Matrix interpretations
    0 references
    Satisfiability
    0 references
    describes a project that uses
    TPDB
    0 references
    MiniSat
    0 references
    AProVE
    0 references
    Tyrolean
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68Q42
    0 references
    68T20
    0 references
    zbMATH DE Number
    5287715
    0 references
    OpenAlex ID
    W2136514805
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q928655&oldid=35060182"
    Powered by MediaWiki