Non-deterministic expressions and predicate transformers (Q287006): Difference between revisions

@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+A typed logic of partial functions reconstructed classically
+Normal rank
@@ Property / cites work @@
+Semantics of under-determined expressions
@@ Property / cites work: Semantics of under-determined expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746866
@@ Property / cites work: Q3746866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692467
@@ Property / cites work: Q4692467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281675
@@ Property / cites work: Q4281675 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast pattern matching algorithm derived by transformational and assertional reasoning
+Normal rank