A \(\rho\)-calculus of explicit constraint application (Q880989)

From MaRDI portal
Revision as of 19:40, 25 June 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
A \(\rho\)-calculus of explicit constraint application
scientific article

    Statements

    title
    A \(\rho\)-calculus of explicit constraint application (English)
    0 references
    author
    Horatiu Cirstea
    0 references
    Germain Faure
    0 references
    Claude Kirchner
    0 references
    publication date
    21 May 2007
    0 references
    zbMATH DE Number
    5155278
    0 references
    zbMATH Keywords
    Rewriting calculus
    0 references
    Explicit substitution
    0 references
    Explicit matching
    0 references
    Pattern matching
    0 references
    describes a project that uses
    ATERM
    0 references
    Maude
    0 references
    LCF
    0 references
    ELAN
    0 references
    OpenAlex ID
    W2155327735
    0 references
    cites work
    Explicit substitutions
    0 references
    Q4222982
    0 references
    Q4223001
    0 references
    Q2778872
    0 references
    Q2851046
    0 references
    Q2844065
    0 references
    Q4222853
    0 references
    Q4175528
    0 references
    Q5667469
    0 references
    Q4808738
    0 references
    Q3918095
    0 references
    Q4417783
    0 references
    Q4249892
    0 references
    Q4380997
    0 references
    Q2703692
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q880989&oldid=34943731"
    Powered by MediaWiki