Monadic simultaneous rigid E-unification and related problems (Q4571948)

From MaRDI portal
scientific article; zbMATH DE number 6898371
Language Label Description Also known as
English
Monadic simultaneous rigid E-unification and related problems
scientific article; zbMATH DE number 6898371

    Statements

    Identifiers

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