About the Paterson-Wegman linear unification algorithm (Q1103417)

From MaRDI portal
scientific article
Language Label Description Also known as
English
About the Paterson-Wegman linear unification algorithm
scientific article

    Statements

    About the Paterson-Wegman linear unification algorithm (English)
    0 references
    1986
    0 references
    Paterson-Wegman unification algorithm
    0 references
    pre-processor
    0 references
    post-processor
    0 references
    structure sharing
    0 references
    core algorithm
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references