Metalevel algorithms for variant satisfiability (Q2413027)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Metalevel algorithms for variant satisfiability
scientific article

    Statements

    Metalevel algorithms for variant satisfiability (English)
    0 references
    0 references
    0 references
    6 April 2018
    0 references
    finite variant property (FVP)
    0 references
    folding variant narrowing
    0 references
    satisfiability in initial algebras
    0 references
    metalevel algorithms
    0 references
    reflection
    0 references
    Maude
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers