Matrix Code (Q2441509): Difference between revisions

@@ Property / author @@
+Maarten H. Van Emden
@@ Property / author: Maarten H. Van Emden / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2914331146
@@ Property / OpenAlex ID: W2914331146 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5416
@@ Property / arXiv ID: 1109.5416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782477
@@ Property / cites work: Q2782477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Consequence Verification of Flowcharts
@@ Property / cites work: Consequence Verification of Flowcharts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678412
@@ Property / cites work: Q5678412 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to the problem of program correctness
+Normal rank
@@ Property / cites work @@
+Q4403707
@@ Property / cites work: Q4403707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / 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 @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385527
@@ Property / cites work: Q4385527 / rank @@
+Normal rank
@@ Property / cites work @@
+Some definitional suggestions for automata theory
@@ Property / cites work: Some definitional suggestions for automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Verification Conditions
@@ Property / cites work: Programming with Verification Conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Transition network grammars for natural language analysis
+Normal rank