Pebble Weighted Automata and Weighted Logics (Q5169971): Difference between revisions

@@ Property / cites work @@
+Q3056218
@@ Property / cites work: Q3056218 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive Power of Pebble Automata
@@ Property / cites work: Expressive Power of Pebble Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Pebble Weighted Automata and Transitive Closure Logics
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted logics for unranked tree automata
@@ Property / cites work: Weighted logics for unranked tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q4941149
@@ Property / cites work: Q4941149 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
+Normal rank
@@ Property / cites work @@
+Counting quantifiers, successor relations, and logarithmic space
+Normal rank
@@ Property / cites work @@
+Weighted picture automata and weighted logics
@@ Property / cites work: Weighted picture automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking games for the quantitative \(\mu \)-calculus
+Normal rank
@@ Property / cites work @@
+Adding Pebbles to Weighted Automata
@@ Property / cites work: Adding Pebbles to Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with aggregate operators
@@ Property / cites work: Logics with aggregate operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting CTL
@@ Property / cites work: Counting CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Counting CTL
@@ Property / cites work: Counting CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with counting and local properties
@@ Property / cites work: Logics with counting and local properties / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Nested Words and Algebraic Formal Power Series
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Traces
@@ Property / cites work: Weighted Logics for Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of tree-walking automata.
@@ Property / cites work: On the power of tree-walking automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Complexity of Pebble Tree-Walking Automata
@@ Property / cites work: Complexity of Pebble Tree-Walking Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541340
@@ Property / cites work: Q5541340 / rank @@
+Normal rank
@@ Property / cites work @@
+Transitive closure logic, nested tree walking automata, and XPath
+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 @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank