Similar Items: FO2(
- Deciding definability in FO2(
- On logical hierarchies within FO^2-definable languages
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- FO Model Checking of Interval Graphs
- Faster Existential FO Model Checking on Posets
- FoR-Net: Learning to Focus on Hard Regions for Efficient Semantic Segmentation