Decidable higher-order unification problems (Q5210802)

From MaRDI portal
scientific article; zbMATH DE number 7154579
Language Label Description Also known as
English
Decidable higher-order unification problems
scientific article; zbMATH DE number 7154579

    Statements

    Identifiers

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