Q4742767 (Q4742767): Difference between revisions

@@ Property / cites work @@
+Lucid, a nonprocedural language with iteration
@@ Property / cites work: Lucid, a nonprocedural language with iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138082
@@ Property / cites work: Q4138082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054648
@@ Property / cites work: Q4054648 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities and Quantification
@@ Property / cites work: Modalities and Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of structures
@@ Property / cites work: Algorithmic properties of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883458
@@ Property / cites work: Q3883458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680806
@@ Property / cites work: Q3680806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / 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 @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+LAR: A logic of algorithmic reasoning
@@ Property / cites work: LAR: A logic of algorithmic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of Programs and the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Is “sometime” sometimes better than “always”?
+Normal rank
@@ Property / cites work @@
+Tense logic
@@ Property / cites work: Tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q3925897
@@ Property / cites work: Q3925897 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in the <i>Survey</i> system of strict implication
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4188712
@@ Property / cites work: Q4188712 / rank @@
+Normal rank