Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344)
From MaRDI portal
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
