Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344)

From MaRDI portal
Revision as of 05:28, 28 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7485827
Language Label Description Also known as
English
Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
scientific article; zbMATH DE number 7485827

    Statements

    Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (English)
    0 references
    9 March 2022
    0 references
    semigroup with apartness
    0 references
    set with apartness
    0 references
    co-quasiorder
    0 references
    co-equivalence
    0 references
    co-congruence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers