Determinisation of relational substitutions in ordered categories with domain (Q604457)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Determinisation of relational substitutions in ordered categories with domain
scientific article

    Statements

    Determinisation of relational substitutions in ordered categories with domain (English)
    0 references
    0 references
    11 November 2010
    0 references
    unification
    0 references
    substitution
    0 references
    relation domain
    0 references
    determinacy
    0 references
    restricted residuals
    0 references
    membership
    0 references
    locally-ordered category
    0 references
    quotient
    0 references
    PER
    0 references

    Identifiers