Completeness of context-sensitive rewriting (Q477588)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Completeness of context-sensitive rewriting
scientific article

    Statements

    title
    Completeness of context-sensitive rewriting (English)
    0 references
    author
    Salvador Lucas
    0 references
    publication date
    9 December 2014
    0 references
    zbMATH Keywords
    algebraic semantics
    0 references
    context-sensitive rewriting
    0 references
    formal reasoning
    0 references
    programming languages
    0 references
    describes a project that uses
    CafeOBJ
    0 references
    Maude
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q42
    0 references
    68N30
    0 references
    68Q55
    0 references
    zbMATH DE Number
    6378632
    0 references
    OpenAlex ID
    W2059589881
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q477588&oldid=38364393"
    Powered by MediaWiki