Similar Items: Complete and tractable machine-independent characterizations of second-order polytime
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- On tractability and congruence distributivity
- Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
- Completions of Kleene's second model
- Tractable Combinations of Temporal CSPs
- Generalized Majority-Minority Operations are Tractable