Some Graph Theoretical Operations and Decidability

From MaRDI portal

Revision as of 21:42, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3048805

Jump to:navigation, search

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 graphs decidability countable trees monadic second order theories of directed graphs operations on finite graphs

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (2)

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

This page was built for publication: Some Graph Theoretical Operations and Decidability

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

Pages with script errors