Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+W30
@@ Property / Mathematics Subject Classification ID: 68W30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G15
@@ Property / Mathematics Subject Classification ID: 03G15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A99
@@ Property / Mathematics Subject Classification ID: 54A99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6696080
@@ Property / zbMATH DE Number: 6696080 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relation algebra
@@ Property / zbMATH Keywords: relation algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+finite topology base
@@ Property / zbMATH Keywords: finite topology base / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+subbase RelView tool
@@ Property / zbMATH Keywords: subbase RelView tool / rank @@
+Normal rank

Revision as of 04:09, 1 July 2023