EF+EX Forest Algebras (Q2947153): Difference between revisions

@@ Property / cites work @@
+Regular tree languages definable in FO and in FO             <sub>               <i>mod</i>             </sub>
+Normal rank
@@ Property / cites work @@
+Piecewise testable tree languages
@@ Property / cites work: Piecewise testable tree languages / rank @@
+Normal rank
@@ Property / cites work @@
+Wreath Products of Forest Algebras, with Applications to Tree Logics
+Normal rank
@@ Property / cites work @@
+Characterizing EF and EX tree logics
@@ Property / cites work: Characterizing EF and EX tree logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086921
@@ Property / cites work: Q3086921 / 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 @@
+EF+EX Forest Algebras
@@ Property / cites work: EF+EX Forest Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
+Normal rank