The model checking fingerprints of CTL operators (Q2317834): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The tractability of model checking for LTL
@@ Property / cites work: The tractability of model checking for LTL / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Model Checking CTL is Almost Always Inherently Sequential
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of short two-person games
@@ Property / cites work: The complexity of short two-person games / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of problems with fast parallel algorithms
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+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 @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+The model checking fingerprints of CTL operators
@@ Property / cites work: The model checking fingerprints of CTL operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+About the expressive power of CTL combinators
@@ Property / cites work: About the expressive power of CTL combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4584892
@@ Property / cites work: Q4584892 / rank @@
+Normal rank
@@ Property / cites work @@
+THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆
+Normal rank
@@ Property / cites work @@
+Erratum: The Complexity of Satisfiability for Fragments of CTL and CTL<sup>⋆</sup>
+Normal rank
@@ Property / cites work @@
+The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
+Normal rank
@@ Property / cites work @@
+An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+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 @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311048
@@ Property / cites work: Q5311048 / rank @@
+Normal rank