Pages that link to "Item:Q1960417"
From MaRDI portal
The following pages link to The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs (Q1960417):
Displaying 14 items.
- The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
- The monadic second-order logic of graphs. VII: Graphs as relational structures (Q1193407) (← links)
- A monadic second-order definition of the structure of convex hypergraphs. (Q1400707) (← links)
- The monadic second-order logic of graphs. XII: Planar graphs and planar maps (Q1566702) (← links)
- Definability equals recognizability for \(k\)-outerplanar graphs and \(l\)-chordal partial \(k\)-trees (Q2403697) (← links)
- Graph decompositions definable in monadic second-order logic (Q3439302) (← links)
- (Q4241260) (← links)
- GETGRATS (Q4923529) (← links)
- Kernelization of Whitney Switches (Q4997132) (← links)
- (Q5002801) (← links)
- \(K_4\)-free graphs as a free algebra (Q5111293) (← links)
- The monadic second-order logic of graphs XVI : Canonical graph decompositions (Q5310655) (← links)
- Computer Science Logic (Q5394586) (← links)
- Kernelization of Whitney Switches (Q5874518) (← links)