Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382)

From MaRDI portal
Revision as of 01:19, 13 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
Dependency pairs for proving termination properties of conditional term rewriting systems
scientific article

    Statements

    title
    Dependency pairs for proving termination properties of conditional term rewriting systems (English)
    0 references
    author
    Salvador Lucas
    0 references
    José Meseguer
    0 references
    publication date
    30 November 2016
    0 references
    zbMATH DE Number
    6658141
    0 references
    zbMATH Keywords
    conditional term rewriting
    0 references
    dependency pairs
    0 references
    program analysis
    0 references
    operational termination
    0 references
    describes a project that uses
    CafeOBJ
    0 references
    ELAN
    0 references
    Haskell
    0 references
    Maude
    0 references
    Tyrolean
    0 references
    MTT
    0 references
    VMTL
    0 references
    AProVE
    0 references
    OBJ3
    0 references
    OpenAlex ID
    W2333572417
    0 references
    cites work
    Logic Programming
    0 references
    Q2715825
    0 references
    Q4259966
    0 references
    Q3032225
    0 references
    Q3839051
    0 references
    Q2783416
    0 references
    Q4799892
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q347382&oldid=36291131"
    Powered by MediaWiki