Termination of rewrite systems by elementary interpretations (Q1805401)

From MaRDI portal
Revision as of 22:42, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Termination of rewrite systems by elementary interpretations
scientific article

    Statements

    title
    Termination of rewrite systems by elementary interpretations (English)
    0 references
    DOI
    10.1007/BF01214624
    0 references
    author
    Pierre Lescanne
    0 references
    publication date
    11 May 1995
    0 references
    zbMATH DE Number
    754285
    0 references
    zbMATH Keywords
    termination
    0 references
    well-foundedness
    0 references
    total connection
    0 references
    rewrite systems
    0 references
    describes a project that uses
    LARCH
    0 references
    ORME
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1805401&oldid=23548026"
    Powered by MediaWiki