Model Transformations in Decidability Proofs for Monadic Theories (Q3540168): Difference between revisions

@@ Property / cites work @@
+The Monadic Theory of Tree-like Structures
@@ Property / cites work: The Monadic Theory of Tree-like Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086920
@@ Property / cites work: Q3086920 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of graphs in the Caucal hierarchy
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708567
@@ Property / cites work: Q4708567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536363
@@ Property / cites work: Q4536363 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. IX: Machines and their behaviours
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic, graph coverings and unfoldings of transition systems
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
+Normal rank
@@ Property / cites work @@
+Q3346281
@@ Property / cites work: Q3346281 / 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 second-order logic on tree-like structures
+Normal rank