Reflection in conditional rewriting logic (Q1608918)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reflection in conditional rewriting logic
scientific article

    Statements

    Reflection in conditional rewriting logic (English)
    0 references
    0 references
    0 references
    13 August 2002
    0 references
    reflection
    0 references
    reflective logics
    0 references
    universal theory
    0 references
    rewriting logic
    0 references
    reflective conditional rewriting logic
    0 references
    0 references
    0 references
    0 references

    Identifiers