Metalevel Algorithms for Variant Satisfiability (Q2827841)

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
    21 October 2016
    0 references
    0 references
    0 references
    0 references
    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