The following pages link to FO model checking on map graphs (Q1679973):
Displaying 6 items.
- FO model checking on geometric graphs (Q1631773) (← links)
- Map graphs having witnesses of large girth (Q2632022) (← links)
- A New Perspective on FO Model Checking of Dense Graph Classes (Q4635873) (← links)
- (Q5002812) (← links)
- (Q5092371) (← links)
- Hardness and structural results for half-squares of restricted tree convex bipartite graphs (Q5919674) (← links)