Deductive synthesis of the unification algorithm (Q1157924)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deductive synthesis of the unification algorithm
scientific article

    Statements

    Deductive synthesis of the unification algorithm (English)
    0 references
    0 references
    0 references
    1981
    0 references
    0 references
    0 references
    0 references
    0 references
    formal program construction method
    0 references
    derivation of a program from a given specification
    0 references
    theorem-proving task
    0 references
    correctness
    0 references
    0 references