Characterizing EF and EX tree logics (Q2503041): Difference between revisions

@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.01.018
+Normal rank
@@ Property / OpenAlex ID @@
+W1971672075
@@ Property / OpenAlex ID: W1971672075 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of model checking for infinite-state concurrent systems
+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 @@
+Q3768883
@@ Property / cites work: Q3768883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787513
@@ Property / cites work: Q3787513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251069
@@ Property / cites work: Q4251069 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic on finite trees
@@ Property / cites work: First-order logic on finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+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 @@
+Q4472439
@@ Property / cites work: Q4472439 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding low levels of tree-automata hierarchy
@@ Property / cites work: Deciding low levels of tree-automata hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251040
@@ Property / cites work: Q4251040 / rank @@
+Normal rank