On spectra of sentences of monadic second order logic with counting (Q5311744): Difference between revisions

@@ Property / author @@
-Johann A. Makowsky
@@ Property / author: Johann A. Makowsky / rank @@
-Normal rank
@@ Property / author @@
+Johann A. Makowsky
@@ Property / author: Johann A. Makowsky / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1096901758
+Normal rank
@@ Property / OpenAlex ID @@
+W2151068277
@@ Property / OpenAlex ID: W2151068277 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial k-arboretum of graphs with bounded treewidth
+Normal rank
@@ Property / cites work @@
+ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES
@@ Property / cites work: ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES / rank @@
+Normal rank
@@ Property / cites work @@
+Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+The Specker-Blatter theorem does not hold for quaternary relations
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / 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 @@
+Logical description of context-free graph languages
+Normal rank
@@ Property / cites work @@
+Graph minors. IV: Tree-width and well-quasi-ordering
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+First-order spectra with one binary predicate
@@ Property / cites work: First-order spectra with one binary predicate / rank @@
+Normal rank
@@ Property / cites work @@
+Investigation of binary spectra by explicit polynomial transformations of graphs
+Normal rank
@@ Property / cites work @@
+ON THE CLIQUE–WIDTH OF GRAPH WITH FEW P<sub>4</sub>'S
+Normal rank
@@ Property / cites work @@
+Arity and alternation in second-order logic
@@ Property / cites work: Arity and alternation in second-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-width and the monadic quantifier hierarchy.
@@ Property / cites work: Tree-width and the monadic quantifier hierarchy. / rank @@
+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 @@
+On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
+Normal rank
@@ Property / cites work @@
+Handle-rewriting hypergraph grammars
@@ Property / cites work: Handle-rewriting hypergraph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4852905
@@ Property / cites work: Q4852905 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Remarks on Generalized Spectra
@@ Property / cites work: Some Remarks on Generalized Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of eNCE families of graph languages
@@ Property / cites work: A hierarchy of eNCE families of graph languages / rank @@
+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. VI: On several representations of graphs by relational structures
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. VII: Graphs as relational structures
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+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 @@
+Graph Classes: A Survey
@@ Property / cites work: Graph Classes: A Survey / rank @@
+Normal rank
@@ Property / cites work @@
+First-order spectra with one variable
@@ Property / cites work: First-order spectra with one variable / rank @@
+Normal rank