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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(90)90073-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2091774687
@@ Property / OpenAlex ID: W2091774687 / rank @@
+Normal rank
@@ 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