On the completeness of modular proof systems (Q917327): Difference between revisions

@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+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 @@
+On the notion of expressiveness and the rule of adaptation
+Normal rank
@@ Property / cites work @@
+Q5583954
@@ Property / cites work: Q5583954 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Incompleteness Result for Hoare's System
@@ Property / cites work: A New Incompleteness Result for Hoare's System / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
+Normal rank