Q5091266 (Q5091266): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Acyclicity on Graph Databases
@@ Property / cites work: Semantic Acyclicity on Graph Databases / rank @@
+Normal rank
@@ Property / cites work @@
+A Step Up in Expressiveness of Decidable Fixpoint Logics
+Normal rank
@@ Property / cites work @@
+The Complexity of Boundedness for Guarded Logics
@@ Property / cites work: The Complexity of Boundedness for Guarded Logics / rank @@
+Normal rank
@@ Property / cites work @@
+State-complexity of finite-state devices, state compressibility and incompressibility
+Normal rank
@@ Property / cites work @@
+Two-way cost automata and cost logics over infinite trees
+Normal rank
@@ Property / cites work @@
+Decidability Results for the Boundedness Problem
@@ Property / cites work: Decidability Results for the Boundedness Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920114
@@ Property / cites work: Q2920114 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting of regular expressions and regular path queries
+Normal rank
@@ Property / cites work @@
+The Theory of Stabilisation Monoids and Regular Cost Functions
+Normal rank
@@ Property / cites work @@
+The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable optimization problems for database logic programs
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions: An algebraic proof
+Normal rank
@@ Property / cites work @@
+The limitedness problem on distance automata: Hashiguchi's method revisited
+Normal rank
@@ Property / cites work @@
+Evaluation and Enumeration Problems for Regular Path Queries
+Normal rank
@@ Property / cites work @@
+Data independent recursion in deductive databases
@@ Property / cites work: Data independent recursion in deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+From bidirectionality to alternation.
@@ Property / cites work: From bidirectionality to alternation. / rank @@
+Normal rank
@@ Property / cites work @@
+Regular queries on graph databases
@@ Property / cites work: Regular queries on graph databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541340
@@ Property / cites work: Q5541340 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Cost Monadic Logic over Infinite Trees
@@ Property / cites work: Weak Cost Monadic Logic over Infinite Trees / rank @@
+Normal rank