The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657): Difference between revisions

@@ Property / cites work @@
+Q4708567
@@ Property / cites work: Q4708567 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic, graph coverings and unfoldings of transition systems
+Normal rank
@@ Property / cites work @@
+Q4818835
@@ Property / cites work: Q4818835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449203
@@ Property / cites work: Q4449203 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Iterated stack automata and complexity classes
@@ Property / cites work: Iterated stack automata and complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738227
@@ Property / cites work: Q4738227 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic on tree-like structures
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+A Combinatorial Theorem for Trees
@@ Property / cites work: A Combinatorial Theorem for Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak MSO with the unbounding quantifier
@@ Property / cites work: Weak MSO with the unbounding quantifier / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904801
@@ Property / cites work: Q2904801 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Significance of the Collapse Operation
@@ Property / cites work: On the Significance of the Collapse Operation / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming structures by set interpretations
@@ Property / cites work: Transforming structures by set interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting higher-order stack trees
@@ Property / cites work: Rewriting higher-order stack trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4601873
@@ Property / cites work: Q4601873 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the Caucal hierarchy?
@@ Property / cites work: Extensions of the Caucal hierarchy? / rank @@
+Normal rank
@@ Property / cites work @@
+Variants of Collapsible Pushdown Systems
@@ Property / cites work: Variants of Collapsible Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5109508
@@ Property / cites work: Q5109508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5854735
@@ Property / cites work: Q5854735 / rank @@
+Normal rank
@@ Property / cites work @@
+A Type System Describing Unboundedness
@@ Property / cites work: A Type System Describing Unboundedness / rank @@
+Normal rank
@@ Property / cites work @@
+Composition with Algebra at the Background
@@ Property / cites work: Composition with Algebra at the Background / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic theory of order and topology in ZFC
@@ Property / cites work: Monadic theory of order and topology in ZFC / rank @@
+Normal rank
@@ Property / cites work @@
+Q2909624
@@ Property / cites work: Q2909624 / rank @@
+Normal rank