Publication | Closed Access
Monadic second-order evaluations on tree-decomposable graphs
230
Citations
21
References
1993
Year
Tree LanguageEngineeringGraph TheoryAlgebraic Graph TheoryAutomated ReasoningComputational ComplexityTree AutomatonComputer ScienceCombinatorial OptimizationMonadic Second-order Evaluations
| Year | Citations | |
|---|---|---|
Page 1
Page 1