A near-optimal method for reasoning about action (Q1134756): Difference between revisions

@@ Property / cites work @@
+Mathematical thought. An introduction to the philosophy of mathematics
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q3227561
@@ Property / cites work: Q3227561 / 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 @@
+The intrinsically exponential complexity of the circularity problem for attribute grammars
+Normal rank
@@ Property / cites work @@
+Prospects and Limitations of Automatic Assertion Generation for Loop Programs
+Normal rank
@@ Property / cites work @@
+Q5581604
@@ Property / cites work: Q5581604 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Q3924096
@@ Property / cites work: Q3924096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Trees and nest structures
@@ Property / cites work: Trees and nest structures / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis of loop predicates
@@ Property / cites work: The synthesis of loop predicates / rank @@
+Normal rank