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

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585384
@@ Property / zbMATH DE Number: 6585384 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nondeterministic expressions
@@ Property / zbMATH Keywords: nondeterministic expressions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weakest preconditions
@@ Property / zbMATH Keywords: weakest preconditions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement calculus
@@ Property / zbMATH Keywords: refinement calculus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:287006