scientific article; zbMATH DE number 3563060
From MaRDI portal
Publication:4135492
zbMath0362.02037MaRDI QIDQ4135492
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Trees, grids, and MSO decidability: from graphs to matroids ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ The structure of the models of decidable monadic theories of graphs
This page was built for publication:
