Characterizing determinacy in Kleene algebras (Q1602558): Difference between revisions

@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+A representation theorem for quantales
@@ Property / cites work: A representation theorem for quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767186
@@ Property / cites work: Q2767186 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing determinacy in Kleene algebras
@@ Property / cites work: Characterizing determinacy in Kleene algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882541
@@ Property / cites work: Q4882541 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of integral relation algebras
@@ Property / cites work: Representations of integral relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Towards pointer algebra
@@ Property / cites work: Towards pointer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703918
@@ Property / cites work: Q3703918 / rank @@
+Normal rank