On the computational complexity of satisfiability in propositional logics of programs (Q1170028): Difference between revisions

@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Proofs for Some Logics of Programs
@@ Property / cites work: Completeness Proofs for Some Logics of Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of Propositional Algorithmic Logic
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Space-bounded reducibility among combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4047108
@@ Property / cites work: Q4047108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164784
@@ Property / cites work: Q4164784 / rank @@
+Normal rank
@@ Property / cites work @@
+A near-optimal method for reasoning about action
@@ Property / cites work: A near-optimal method for reasoning about action / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Decision complexity of variants of propositional dynamic logic
+Normal rank