ELAN from a rewriting logic point of view (Q1608914): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: LCF / rank
 
Normal rank

Revision as of 21:53, 29 February 2024

scientific article
Language Label Description Also known as
English
ELAN from a rewriting logic point of view
scientific article

    Statements

    ELAN from a rewriting logic point of view (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 August 2002
    0 references
    computational system
    0 references
    conditional rewriting logic
    0 references
    strategy theory
    0 references
    rule-based programming
    0 references
    rewriting calculus
    0 references
    0 references
    0 references
    0 references

    Identifiers