Some Graph Theoretical Operations and Decidability

DOI10.1002/mana.19790870103zbMath0414.03007OpenAlexW2049313859MaRDI QIDQ3048805

Detlef Seese

Publication date: 1979

Published in: Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/mana.19790870103

zbMATH Keywords

planar graphsdecidabilitycountable treesmonadic second order theories of directed graphsoperations on finite graphs

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Directed graphs (digraphs), tournaments (05C20)

Related Items

Algorithmic uses of the Feferman-Vaught theorem, The structure of the models of decidable monadic theories of graphs