Pages that link to "Item:Q5501192"
From MaRDI portal
The following pages link to Existential second-order logic over graphs (Q5501192):
Displayed 10 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Model-checking hierarchical structures (Q414908) (← links)
- Existential monadic second order logic on random rooted trees (Q1618231) (← links)
- A gentle introduction to applications of algorithmic metatheorems for space and circuit classes (Q1736808) (← links)
- Closure properties of locally finite \(\omega\)-languages (Q1885033) (← links)
- On the parameterized complexity of graph modification to first-order logic properties (Q2300624) (← links)
- Learning Tree Languages (Q2963598) (← links)
- Second-Order Logic over Finite Structures – Report on a Research Programme (Q3439520) (← links)
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
- DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← links)