Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538)

From MaRDI portal
scientific article; zbMATH DE number 1399930
Language Label Description Also known as
English
Conjunctive partial deduction: foundations, control, algorithms, and experiments
scientific article; zbMATH DE number 1399930

    Statements

    Conjunctive partial deduction: foundations, control, algorithms, and experiments (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    26 September 2000
    0 references
    0 references
    unfold/fold transformations
    0 references
    conjunctive partial deduction
    0 references
    0 references
    0 references
    0 references
    0 references