Matrix interpretations for proving termination of term rewriting (Q928655)

From MaRDI portal
Revision as of 01:12, 29 February 2024 by SwMATHimport240215 (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

    Identifiers

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