Terminating non-disjoint combined unification (Q2119106)

From MaRDI portal





scientific article; zbMATH DE number 7496644
Language Label Description Also known as
English
Terminating non-disjoint combined unification
scientific article; zbMATH DE number 7496644

    Statements

    Terminating non-disjoint combined unification (English)
    0 references
    0 references
    0 references
    0 references
    23 March 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers