Simple monadic theories and partition width (Q3170562): Difference between revisions

@@ Property / cites work @@
+Second-order quantifiers and the complexity of theories
+Normal rank
@@ 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 @@
+Axiomatising tree-interpretable structures
@@ Property / cites work: Axiomatising tree-interpretable structures / rank @@
+Normal rank
@@ Property / cites work @@
+A model-theoretic characterisation of clique width
+Normal rank
@@ Property / cites work @@
+On the structure of graphs in the Caucal hierarchy
+Normal rank
@@ Property / cites work @@
+Simple monadic theories and indiscernibles
@@ Property / cites work: Simple monadic theories and indiscernibles / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizability, hypergraph operations, and logical types
+Normal rank
@@ Property / cites work @@
+An Extension of Muchnik's Theorem
@@ Property / cites work: An Extension of Muchnik's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4889877
@@ Property / cites work: Q4889877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818835
@@ Property / cites work: Q4818835 / 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 @@
+The monadic second-order logic of graphs, II: Infinite graphs of bounded width
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. IV: Definability properties of equational graphs
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. VII: Graphs as relational structures
+Normal rank
@@ Property / cites work @@
+Structural properties of context-free sets of graphs generated by vertex replacement
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. IX: Machines and their behaviours
+Normal rank
@@ Property / cites work @@
+Clique-width of countable graphs: A compactness property.
+Normal rank
@@ Property / cites work @@
+Handle-rewriting hypergraph grammars
@@ Property / cites work: Handle-rewriting hypergraph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Fusion in relational structures and the verification of monadic second-order properties
+Normal rank
@@ Property / cites work @@
+Upper bounds to the clique width of graphs
@@ Property / cites work: Upper bounds to the clique width of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Vertex-minors, monadic second-order logic, and a conjecture by Seese
+Normal rank
@@ Property / cites work @@
+The recognizability of sets of graphs is a robust property
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. I
@@ Property / cites work: Modest theory of short chains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. II
@@ Property / cites work: Modest theory of short chains. II / rank @@
+Normal rank
@@ Property / cites work @@
+S-functions for graphs
@@ Property / cites work: S-functions for graphs / rank @@
+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 @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating clique-width and branch-width
@@ Property / cites work: Approximating clique-width and branch-width / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of the models of decidable monadic theories of graphs
+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 logic and Löwenheim numbers
@@ Property / cites work: Monadic logic and Löwenheim numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Around classification theory of models
@@ Property / cites work: Around classification theory of models / rank @@
+Normal rank
@@ Property / cites work @@
+Classification theory and the number of non-isomorphic models.
+Normal rank
@@ Property / cites work @@
+Q4824885
@@ Property / cites work: Q4824885 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic on tree-like structures
+Normal rank