Combination techniques and decision problems for disunification (Q5055803)

From MaRDI portal
scientific article; zbMATH DE number 7631216
Language Label Description Also known as
English
Combination techniques and decision problems for disunification
scientific article; zbMATH DE number 7631216

    Statements

    Identifiers

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