scientific article; zbMATH DE number 3517129

MaRDI QIDQ4097268zbMATH OpenFDO

Authors Detlef Seese

Publication date 1975

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Graph theory (05C99)

Cited in

(5)

• The monadic second-order logic of graphs. VIII: Orientations
• The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
• The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
• The structure of the models of decidable monadic theories of graphs
• Trees, grids, and MSO decidability: from graphs to matroids

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4097268)