Pages that link to "Item:Q4353558"
From MaRDI portal
The following pages link to On the expression of graph properties in some fragments of monadic second-order logic (Q4353558):
Displaying 24 items.
- Parameterized leaf power recognition via embedding into graph products (Q786044) (← links)
- The monadic second order logic of graphs. VI: On several representations of graphs by relational structures (Q1336623) (← links)
- Logical description of context-free graph languages (Q1384534) (← links)
- The monadic second-order logic of graphs. XII: Planar graphs and planar maps (Q1566702) (← links)
- On the planar split thickness of graphs (Q1742373) (← links)
- Map genus, forbidden maps, and monadic second-order logic (Q1856334) (← links)
- Automatic graphs and D0L-sequences of finite graphs (Q1877692) (← links)
- Regular transducer expressions for regular transformations (Q2064527) (← links)
- Evaluation diversity for graph conditions (Q2117262) (← links)
- Approximating max-cut under graph-MSO constraints (Q2294245) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- On orthogonally guarding orthogonal polygons with bounded treewidth (Q2659775) (← links)
- Hitting forbidden minors: approximation and kernelization (Q2790404) (← links)
- Relative expressiveness of the edge/adjacency language for graph theory (Q3220638) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete (Q4639894) (← links)
- GETGRATS (Q4923529) (← links)
- Parameterized Leaf Power Recognition via Embedding into Graph Products (Q5009478) (← links)
- Origin-equivalence of two-way word transducers is in PSPACE (Q5090958) (← links)
- (Q5232911) (← links)
- Parameterized shifted combinatorial optimization (Q5915595) (← links)
- Evaluation diversity for graph conditions (Q6156934) (← links)
- Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Q6487310) (← links)
