scientific article; zbMATH DE number 3517129

From MaRDI portal

Revision as of 06:49, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4097268

Jump to:navigation, search

zbMath0331.02026MaRDI QIDQ4097268

Detlef Seese

Publication date: 1975

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

Mathematics Subject Classification ID

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

Related Items (5)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ 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 monadic second-order logic of graphs. VIII: Orientations ⋮ The structure of the models of decidable monadic theories of graphs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4097268&oldid=17861484"