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

@@ 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