On Monadic Second-Order Theories of Multidominance Structures
From MaRDI portal
Publication:3585001
DOI10.1007/978-3-642-14322-9_10zbMath1286.03037OpenAlexW1485161065MaRDI QIDQ3585001
Publication date: 31 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14322-9_10
Graph theory (including graph drawing) in computer science (68R10) Logic of natural languages (03B65) Decidability of theories and sets of sentences (03B25) Data structures (68P05)
This page was built for publication: On Monadic Second-Order Theories of Multidominance Structures
