scientific article; zbMATH DE number 3400884

zbMath0254.02036MaRDI QIDQ5668796

Detlef Seese

Publication date: 1972

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Coloring of graphs and hypergraphs (05C15)

Related Items

Trees, grids, and MSO decidability: from graphs to matroids, A model-theoretic characterisation of clique width, Counting modulo quantifiers on finite structures, The structure of the models of decidable monadic theories of graphs