Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553): Difference between revisions

@@ Property / cites work @@
+Q4737220
@@ Property / cites work: Q4737220 / rank @@
+Normal rank
@@ Property / cites work @@
+Local temporal logic is expressively complete for cograph dependence alphabets
+Normal rank
@@ Property / cites work @@
+LATIN 2004: Theoretical Informatics
@@ Property / cites work: LATIN 2004: Theoretical Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3504344
@@ Property / cites work: Q3504344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737221
@@ Property / cites work: Q4737221 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Shrinking games and local formulas
@@ Property / cites work: Shrinking games and local formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951166
@@ Property / cites work: Q4951166 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic quantifier alternation hierarchy over grids and graphs
+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 @@
+Q4375802
@@ Property / cites work: Q4375802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3836531
@@ Property / cites work: Q3836531 / rank @@
+Normal rank
@@ Property / cites work @@
+Difficult configurations -- on the complexity of LTrL
+Normal rank