Characterizing CTL-like logics on finite trees. (Q2490815): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.01.034
+Normal rank
@@ Property / OpenAlex ID @@
+W2093913332
@@ Property / OpenAlex ID: W2093913332 / rank @@
+Normal rank
@@ Property / cites work @@
+On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of temporal logic
@@ Property / cites work: On the expressive power of temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884887
@@ Property / cites work: Q4884887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770673
@@ Property / cites work: Q2770673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412098
@@ Property / cites work: Q4412098 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832056
@@ Property / cites work: Q3832056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Cascades of tree-automata and computations in universal algebras
+Normal rank
@@ Property / cites work @@
+Verification of reactive systems. Formal methods and algorithms.
+Normal rank
@@ Property / cites work @@
+Q4273660
@@ Property / cites work: Q4273660 / rank @@
+Normal rank
@@ Property / cites work @@
+General varieties of tree languages
@@ Property / cites work: General varieties of tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular languages defined with generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
+Normal rank
@@ Property / cites work @@
+Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank