Size-Change Termination and Satisfiability for Linear-Time Temporal Logics (Q3172880): Difference between revisions

@@ Property / cites work @@
+A Proof System for the Linear Time μ-Calculus
@@ Property / cites work: A Proof System for the Linear Time μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation Elimination by Complementation (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Complementation and Size-Change Termination
+Normal rank
@@ Property / cites work @@
+Efficient Büchi Universality Checking
@@ Property / cites work: Efficient Büchi Universality Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791853
@@ Property / cites work: Q4791853 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4936139
@@ Property / cites work: Q4936139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771059
@@ Property / cites work: Q2771059 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank