Fixpoint logics over hierarchical structures (Q2429724): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-009-9227-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2058101812
@@ Property / OpenAlex ID: W2058101812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283233
@@ Property / cites work: Q4283233 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876640
@@ Property / cites work: Q4876640 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Context-free graph grammars and concatenation of graphs
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754072
@@ Property / cites work: Q2754072 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Hierarchical planarity testing algorithms
@@ Property / cites work: Hierarchical planarity testing algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems
+Normal rank
@@ Property / cites work @@
+Efficient Solution of Connectivity Problems on Hierarchically Defined Graphs
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of tree automata and XPath on grammar-compressed trees
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental model checking for decomposable structures
+Normal rank
@@ Property / cites work @@
+Q4764625
@@ Property / cites work: Q4764625 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchically specified unit disk graphs
@@ Property / cites work: Hierarchically specified unit disk graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941166
@@ Property / cites work: Q4941166 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472439
@@ Property / cites work: Q4472439 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank