Inverse semigroups with apartness (Q2416389): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2935081965
@@ Property / OpenAlex ID: W2935081965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Mathematics in Theory and Programming Practice
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Apartness and Uniformity
@@ Property / cites work: Apartness and Uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups with apartness
@@ Property / cites work: Semigroups with apartness / rank @@
+Normal rank
@@ Property / cites work @@
+Basic notions of (constructive) semigroups with apartness
+Normal rank
@@ Property / cites work @@
+The lattice of congruences on an inverse semigroup
+Normal rank
@@ Property / cites work @@
+Q3792899
@@ Property / cites work: Q3792899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846425
@@ Property / cites work: Q4846425 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q4537454
@@ Property / cites work: Q4537454 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337662
@@ Property / cites work: Q3337662 / rank @@
+Normal rank
@@ Property / cites work @@
+A Network of Congruences on an Inverse Semigroup
@@ Property / cites work: A Network of Congruences on an Inverse Semigroup / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse Semi-Groups
@@ Property / cites work: Inverse Semi-Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Kernels of inverse semigroup homomorphisms
@@ Property / cites work: Kernels of inverse semigroup homomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Q5822089
@@ Property / cites work: Q5822089 / rank @@
+Normal rank