An algorithm for reasoning about equality (Q4157961)

From MaRDI portal
scientific article; zbMATH DE number 3589741
Language Label Description Also known as
English
An algorithm for reasoning about equality
scientific article; zbMATH DE number 3589741

    Statements

    An algorithm for reasoning about equality (English)
    0 references
    0 references
    0 references
    1978
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references