Semantical analysis of specification logic (Q913527): Difference between revisions

@@ Property / cites work @@
+On the completeness of the inductive assertion method
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342084
@@ Property / cites work: Q4342084 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and the completeness of Hoare's logic
+Normal rank
@@ Property / cites work @@
+Program proving: KJumps and functions
@@ Property / cites work: Program proving: KJumps and functions / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising the logic of computer programming
@@ Property / cites work: Axiomatising the logic of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Assignment and Procedure Call Proof Rules
@@ Property / cites work: Assignment and Procedure Call Proof Rules / 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 @@
+Q5626277
@@ Property / cites work: Q5626277 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent and complementary formal theories of the semantics of programming languages
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and intuitionistic incompleteness
@@ Property / cites work: Undecidability and intuitionistic incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221388
@@ Property / cites work: Q3221388 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of lattice theory to knowledge representation
+Normal rank
@@ Property / cites work @@
+Q3719794
@@ Property / cites work: Q3719794 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard algorithmic and dynamic logic
@@ Property / cites work: Non-standard algorithmic and dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the Domain of Flow Diagrams
@@ Property / cites work: Semantics of the Domain of Flow Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585029
@@ Property / cites work: Q5585029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678649
@@ Property / cites work: Q3678649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040912
@@ Property / cites work: Q4040912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707398
@@ Property / cites work: Q3707398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347263
@@ Property / cites work: Q3347263 / 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 / full work available at URL @@
+https://doi.org/10.1016/0890-5401(90)90045-j
+Normal rank
@@ Property / OpenAlex ID @@
+W2099487986
@@ Property / OpenAlex ID: W2099487986 / rank @@
+Normal rank