Demonic operators and monotype factors (Q4286527): Difference between revisions

@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5535414
@@ Property / cites work: Q5535414 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank