Folding Variant Narrowing and Optimal Variant Termination (Q4933278)

From MaRDI portal
scientific article; zbMATH DE number 5798871
Language Label Description Also known as
English
Folding Variant Narrowing and Optimal Variant Termination
scientific article; zbMATH DE number 5798871

    Statements

    Folding Variant Narrowing and Optimal Variant Termination (English)
    0 references
    0 references
    0 references
    0 references
    12 October 2010
    0 references
    0 references
    0 references