Arithmetical completeness in first-order dynamic logic for concurrent programs (Q1155351): Difference between revisions

@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138150
@@ Property / cites work: Q4138150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140351
@@ Property / cites work: Q4140351 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank