Searching for "Recognizability Equals Monadic Second-Order Definability for Sets of Graphs of Bounded Tree-Width." – sorted by Relevance.
-
Recognizability equals Monadic Second-Order definability, for sets of graphs of bounded tree-width.
- Recognizability equals Monadic Second-Order definability, for sets of graphs of bounded tree-width
- Cited by 8 (1 self) – Add To MetaCart

