Q3883458 (Q3883458): Difference between revisions

@@ Property / cites work @@
+Q3898006
@@ Property / cites work: Q3898006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130976
@@ Property / cites work: Q4130976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174207
@@ Property / cites work: Q4174207 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Program proving: KJumps and functions
@@ Property / cites work: Program proving: KJumps and functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic definition for control structures
@@ Property / cites work: An algebraic definition for control structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190099
@@ Property / cites work: Q4190099 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / 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 @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q4066560
@@ Property / cites work: Q4066560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4173344
@@ Property / cites work: Q4173344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404860
@@ Property / cites work: Q4404860 / 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